History log of /ontohub/lib/hets/provers/importer.rb
Revision Date Author Comments Expand
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.