f34f85a43d1d3c992613379420c3f5749ab02cae |
|
06-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Adjust to new hets prover keys
'name' was renamed to 'identifier' and
'display_name' was renamed to 'name' |
d286b916addffcdfe05bb1adde656b653af74180 |
|
04-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Fix prover creation not setting display_name in time. |
430113525fe9924ae501882af59798a0661aae31 |
|
04-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Always update the display name
Later we will add an 'automated' and a 'default' flag to the provers
list and then we only need to update the ALLOWED_KEYS. |
7f823c505df772950e60c31b0c22e0a4754462d4 |
|
04-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Create prover with display_name. |
f4d4f82239bc0e3f18e9d59dbae22891b20f40e6 |
|
31-Mar-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Rename the Evaluator classes to Importer. |
a8cd91fe8c02ffdd380364abb86486d613b718aa |
|
31-Mar-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Move lib/hets/*/evaluator.rb to lib/hets/*/importer.rb
Renaming the classes will be done in another commit. |