Use methods to free a HetsInstance.

Add and use url_autority method.

Use config.fqdn instead of Settings.hostname If `Settings.hostname` is defined, it is the same as `config.fqdn`, so this is only really a change if `Settings.hostname` is `nil`. This doesn't change the deployment config. There we explicitly use `Settings.hostname` because we don't want to read the hostname from our development machines when deploying.

Remove unneeded hets CLI handling.

Add method: provers_via_api.

Fix ontology iri passed to hets api.

Create and use ProveOptions.

Create and pass HetsOptions.

Obey Hound.

Only prove theorems of current node.

Add prove_via_api method.

safely escape loc/ids in requests/redirects.

rename HetsInstance.choose to choose! As choose! raises errors now, this is the more appropriate name.

provide general and specific version via Hets Additionally caches the config, so we won't need to load the yaml-file for every method-call.

use loc/id when referencing during hets-calls.

include errors module into Hets::Config There are some strange lookup errors otherwise.

add filetype determination mechanic This adds a module-method on the Hets module to determine the filetype for a resource which responds to the versioned_iri method.

Fix namespace error.

use versioned_iri for hets instead of iri In order to be capable to process multiple commits of the same ontology at once, we'll need to use the versioned iri.

adjust parsing to work with io/tempfile instance In order for the API-system to work properly we'll need to work with the streamed Tempfile. So instead of working with filepaths we'll need to pass io-instances to parsing-processes.

provide methods for minimal-version hets-info.

move hets errors into own module and add new error Add the new error which is to be raised if a hets-instance is supposed to be used, but not actually reachable/up.

adjust hets version checking schema Adjust the hets-version checking to check for a version string like this: v0.99, 1402678179 Also change the way the method complains about non-matching versions. Versions which are are lesser than (through lexicographical comparison) the target string will still raise the VersionOutdated error but versions which fall through the regex-check (non-compatible) will only produce warnings in the log and on STDERR instead of killing the application.

fix whitespace issues Includes fixes for the following whitespace-related issues: - Trailing whitespace at end of line - Tabs in file - No newline at end of file This commit fixes these issues for .rb, .coffee, and .sass files.

add import support for imported sentences This includes a new hets switch and the parse/import of element <ImpAxioms>.

change hets date checking to revision checking.

let hets return all written files.

Cache the Hets configuration.

first steps toward fast hets run: adding parameter fast_parse

Rake task "import:hets:lib" fixed. Return in a rake task leads to a "unexpected return". Proxy method for library_path removed.

Moved import_ontologies from Hets to Ontologies. Follow the separation of concerns principle.

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

Redundant error message removed

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

get code positions from hets.

pass url catalog to hets

Refactored Hets class to use the Subprocess helper. This allows better error handling.

Use Ontology::FILE_EXTENSIONS in Hets module.

Fixed import of hets lib.

Create LogicMapping on Ontology import only if source and target have logics set. Refactored Hets module a little.

Added .hascasl extension for distributed ontologies.

Fixed Hets#import_ontology and distinguish Single- and DistributedOntology by file extension. Fixes #193 probably.

Deactivate CASL amalgamability analysis on hets calls. Fixes #199 probably.

Seeds and Hets are working with Git.

Remove usage message from the error output

Just renaming.

A little styling.

Error message in tests on old hets version.

Reject old versions of Hets

Use --full-signatures on hets call.

Add todo for iri

Parse always assynchronously

Restrict the ontology extensions correctly

Use block instead of reflection Increase the number of covered extensions

Calling implemented task

Move script code to hets

Amending previous commit

Separate setting recovery from traversal

Separate directory traversal from ontology reading

Lower scheduling priority for resque.

Output directory for hets parsing. Fixes #107.

Show dynamically updated ontology status.

Add debugging code

check for hets version added

GRML, damn file size validation.

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

Create ontologies from HTTP URLs.

Regexp replaced by starts_with?

Allowed ontology file extensions configurable and test for clif.

Asynchronous parsing by hets.

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