| fb8fa1316543276ffcbdda4418a35e10f1936d7a |
|
26-Sep-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Remove verbose descriptions from proof status factory. |
| 1f41235c9549cfe332cc93df708e2c7199a17c65 |
|
26-Sep-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add specs for the new theorem proof status handling. |
| 5c05c746aa1fa24fcdc855db7ff63cd59ee4e1bf |
|
19-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Fix proof status factory trying to create duplicate. |
| 7c39fd3c96a55308b5f9a17c7a44e73934c388b8 |
|
19-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add proof status CSA factory. |
| b1ba3fdd9a15df6e312301efd1399d99915cd9d0 |
|
11-Mar-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add and move factories for proving. |