| 4e0724b6358960a5e8394dbfd6e0c2d15a6061d5 |
|
14-Aug-2016 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
1458 loc ids are not used everywhere (#1746)
* Use Loc/Ids for ontologies#edit.
* Use Loc/Ids for proving.
* Use Loc/Id for retry button.
* Fix spec. |
| 4c020368d733e078f7da92ef6e03a73cd274ab0e |
|
06-Apr-2016 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Simplify proof_timeout_label method. |
| bed96fd6748c2368a63bee9bf2a152f044cf75eb |
|
23-Mar-2016 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Migrate ProofHelper to ProofsHelper. |
| be588e74eb1543c68898b4e693b2841e9fef4d96 |
|
22-Mar-2016 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Display sentence, not only its name. |
| ef12070bdf3f2c5462d76e408f68e17d0d926535 |
|
10-Aug-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add views for SineAxiomSelection; move ManualAxiomSelection view to a partial. |
| 543c1be79aecb1d19f3bd50d8581da5c1cd0893b |
|
26-Mar-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add route, action and views for proofs#new. |