| b4fb9dd323281635ac45a8a6379b78a2a4555324 |
|
19-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Fix prover factory trying to create duplicate. |
| 4b892a7f6b14ae97b79386d8b7fa46d48e894b40 |
|
04-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Adjust prover factory and spec to use display name. |
| 0fa5567bba77a383ee437c8675085e9bf75d161e |
|
26-Mar-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add CollectiveProofAttempt spec. |
| 14d19b08f079988d61ea653d1d7c439522e9ae70 |
|
26-Mar-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add model: Prover. |