Increase minimum hets revision This version also symbols for TPTP.

Bump required hets version This version adds support for TPTP parsing via the RESTful API.

Namespace hets config.

Move developer-centric settings to their own file.

Bump hets version to 1430921534.

Bump required Hets revision.

Bump minimal hets version This version introduces JSON output for the provers list.

increase minimal version of hets We need the improved error-handling of hets for clif ontologies in the API.

use long-versions of hets-arguments.

prefer wrapped version of hets on OSX.

provide server-options for hets and use -a none Inside of the hets.yml there is a key server_options which will allow us to pass arguments to the hets-server instance which is managed by god or by the rake task (which is in turn called by invoker in development). As an additional gimmick: The rake task for hets now uses the search-paths in the hets.yml.

perform hets with -A for test fixtures -A seems to be the equivalent of auto in command-line mode.

increase hets' minimal revision.

Add arch linux distribution to hets search path.

extract hets-cmdline-options into config.

increase hets-minimal-version and add key Add key for the general version of hets. Currently not really important for version checking purposes, as the timestamp is thorough enough, we will need it for better validation. Necessary changes in hets: wget-headers for ontohub-iri file retrieval.

bump minimal hets version to v0.99, 1402678179 This effectively bumps the minimal version by 60 commits.

raise minimal hets version to 18564 This is needed for hets throwing the correct error message on catalog files.

bump minimal hets version to revision 18553 Since we now use the --full-theories switch, we need a hets version which supports it.

adjust hets path for Mac OS X homebrew compliance.

change hets date checking to revision checking.

Increase minimal hets version (for URI without angle brackets).

Cleanup and Refactoring of Hets binding now the LANG environment variable is set for execution of hets (solves #579, related to #622)

bump minimal hets working version number Importing referenced OWL-ontologies will fail for earlier versions.

add homebrew installed hets to search_path.

Adjust to new hets version.

Changed code, because hets bug got fixed. Fixes #164.

Maximum stack size for hets from 8M to 1G, fixes #411. (Look at this on load problems.)

Raised minimal necessary Hets version.

Minimum hets version updated. Should avoid hets to fail with "unrecognized option `-C'".

add necessary hets paths - also remove mysql - and remove some mocha deprecation warnings.

add necessary hets paths - also remove mysql - and remove some mocha deprecation warnings.

add mac osx location to hets find-paths.

add mac osx location to hets find-paths.

Reject old versions of Hets

Use hets wrapper script, because of environment variables, for example.

Use /usr/bin/hets as path.

add LogicMappings interface & some Logic bugfixes

autocomplete

modified OntologyParser to recognize axiom-text correctly. fixes #74

Hets config here.

hets path for mac osx added

GRML, damn file size validation.

Maximum file size (before parsing) and failed file removing.

Allowed ontology file extensions configurable and test for clif.

Login CSS.

Run hets to parse OWL; import of generated XML does not work, yet.