Cross Reference: proof_attempts_helper.rb
xref
: /
ontohub
/
app
/
helpers
/
proof_attempts_helper.rb
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
History log of
/ontohub/app/helpers/proof_attempts_helper.rb
Revision
Compare
Date
Author
Comments
Expand
ed8ebc81a27d484a4c646177f2c8bd77d4735db4
19-May-2015
Eugen Kuksa <eugenk@informatik.uni-bremen.de>
Show configured prover in index if not completed.
proof_attempts_helper.rb
/ontohub/app/views/proof_attempts/index.html.haml