| f7d09796be4b567de968e695a45ec5e7efcde316 |
|
22-Apr-2016 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add slug and remove locid from ProofStatus. |
| 3012f2f26fa865376639018283dec8ada44e0704 |
|
06-Nov-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Alias methods instead of redefinition. |
| 826cc3b7365c94d05c44118c603d7a36c1974eee |
|
26-Sep-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Revamp the theorem proof status handling. |
| 6264bb5669941e2f662e6431d13965989c97dbde |
|
26-Sep-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Change default unproven proof status to CSA. |
| acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2 |
|
27-Apr-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add locid to ProofStatus. |
| bffca32246bf270682460b095c61f410fe003a6b |
|
11-Mar-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add default proof status constants. |
| e0a258a3ef5bc6317af9a81ffb33789050451469 |
|
04-Dec-2014 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Rename module: Make it a noun instead of a verb. |
| 12c59b7f5e3256428dd869f3b2d945ba22daca08 |
|
04-Dec-2014 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Use SZS ontology to create ProofStatus. |
| 63f9ea6c6ef0939175d71d4b63889887de7ecb90 |
|
04-Dec-2014 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add colored label to ProofStatus. |
| e200ddd4b78a4915a072095be2a2e6cac65ed333 |
|
04-Dec-2014 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add ProofStatus model, remove STATUSES Constant.
The ProofAttempt and Theorem models now rely on this new model. |