History log of /hets/PGIP/Server.hs
Revision Date Author Comments Expand
abdc8c3bcf5b761e9bebf51e6ba2bce659d29512 08-Apr-2018 Eugen Kuksa <kuksa.eugen@gmail.com>

Reasoning with database (#1836) * First step towards saving reasoning results in the database. * Add first steps of SInE premise selection. * Try again with 'flattenComorphism'. * Improve SInE implementation. * Adjust GraphQL resolvers to new action field. * Fix rebasing mistakes. * Fix timeLimit. * moved let variables to where clause with scoped type vars * Fix errors in reasoning. * Fix some more errors in SInE. * fixed typing problems * Debug Reasoning. * Fix compile-time errors. * Mode debugging. * made coercion type safe * Remove commented code. * Re-implement proving for the REST interface. * Cleanup. * Fix SInE selection. * Cleanup. * Fix SInE. * Fix provers command. * Fix column name. * Remove commented out code. * Capture consistency checker output. * Obey Review. * Obey review. * Obey Review. * Refactor buildReasoningCache. * Add name to LogicTranslation and get rid of compiler warnings. * Save all sentences in the database instead of only local ones. * Rename column to make it more compact. * Add name to LogicInclusion. * Save used sentences of a proof attempt.
4f3a84cb1b7e55ce38df8f4ac71d06b574b23cb1 27-Mar-2018 mscodescu <mscodescu@gmail.com>

origin of sentences
649fdc0d0502d62d160c150684356fef2c273484 11-Feb-2018 Eugen Kuksa <kuksa.eugen@gmail.com>

1811 provide graphql api (#1829) * Fixme (Remove 'True') - Add GraphQL starting point to the web server. * Add GraphQL Schema. * Experiment with the graphql-api package. * Remove the graphql-api package again. * Respond with GraphQL mimics. * Add types for GraphQL mimicking. * Add example queries. * Add proof of concept database fetching. * Add Signature query resolver. * Add SignatureMorphism query resolver. * Add missing key to result JSON. * Add Serialization resolver. * Split code for conversion and retrieval of data. * Fix indentation. * Add OMS query. * Add DGraph query. * Remove commit and document from example queries. * Remove GraphQLApi constructor again. * Save libenv to database via RESTful interface. * Fix line lengths * as library name, ensure a URL containing, in case of file://, an absolute file path * correction: urls should not be treated as file path * avoid re-reading for xmi and qvt; corrected computation of full filename * strip file:// prefix for OWL parser * strip file:// prefix for QVT parser * introduced utility function tryToStripPrefix * strip file:// when writing files

/hets/CSMOF/ParseXmiAsLibDefn.hs /hets/Common/Utils.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/ReadLibDefn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/GUI/GtkProverGUI.hs /hets/Hets.cabal /hets/Interfaces/Utils.hs /hets/OWL2/ParseOWL.hs /hets/OWL2/ParseOWLAsLibDefn.hs /hets/OWL2/Taxonomy.hs GraphQL.hs GraphQL/Resolver.hs GraphQL/Resolver/DGraph.hs GraphQL/Resolver/OMS.hs GraphQL/Resolver/Serialization.hs GraphQL/Resolver/Signature.hs GraphQL/Resolver/SignatureMorphism.hs GraphQL/Resolver/ToResult.hs GraphQL/Result.hs GraphQL/Result/Axiom.hs GraphQL/Result/Conjecture.hs GraphQL/Result/ConservativityStatus.hs GraphQL/Result/DGraph.hs GraphQL/Result/DocumentLink.hs GraphQL/Result/FileRange.hs GraphQL/Result/IdReference.hs GraphQL/Result/Language.hs GraphQL/Result/LanguageMapping.hs GraphQL/Result/Library.hs GraphQL/Result/LocIdReference.hs GraphQL/Result/Logic.hs GraphQL/Result/LogicMapping.hs GraphQL/Result/Mapping.hs GraphQL/Result/NativeDocument.hs GraphQL/Result/OMS.hs GraphQL/Result/OMSSimple.hs GraphQL/Result/PremiseSelection.hs GraphQL/Result/Reasoner.hs GraphQL/Result/ReasonerConfiguration.hs GraphQL/Result/ReasonerOutput.hs GraphQL/Result/ReasoningAttempt.hs GraphQL/Result/Sentence.hs GraphQL/Result/Serialization.hs GraphQL/Result/Signature.hs GraphQL/Result/SignatureMorphism.hs GraphQL/Result/StringReference.hs GraphQL/Result/Symbol.hs GraphQL/Result/SymbolMapping.hs GraphQL/exampleQueries/dgraph.graphql GraphQL/exampleQueries/oms.graphql GraphQL/exampleQueries/serialization.graphql GraphQL/exampleQueries/signature.graphql GraphQL/exampleQueries/signatureMorphism.graphql Server.hs Shared.hs /hets/Persistence/DevGraph.hs /hets/Persistence/Schema.hs /hets/Persistence/Utils.hs /hets/QVTR/ParseQvtAsLibDefn.hs /hets/Static/AnalysisLibrary.hs /hets/stack.yaml
ad12b5998cf28a747817c0e0c40eb0d241398a2f 03-Dec-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Remove unused functions.
682260563efe78f762d2d9db032a161ee0088851 03-Dec-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Improve proof results page.
f8a52d4e11fcaf385a7dcae5a73452875b16b54e 03-Dec-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Remove xupdate - impact - submit buttons from development graph.
a0f7f1d3aef3e4229f57eb6065a62e48d15b66fb 03-Dec-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Remove CommandList button.
876c7f5a5366669437a05d63694bdece02bdd58e 03-Dec-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Improve 'More Examples', remove output format button from start page.
943f025155b53035a7212cf8f5979e3ec11d5978 03-Dec-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Set font in text area.
7e92d8017cdef293b8ab8d9eb925867bbd77ae10 03-Dec-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Include additional examples.
7448a23dbbf0306a484e1caf5a05f7dff0210856 03-Dec-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Improve proving interface.
c4f9e16aa6d0b26e8ef6f896aac0daea9072f994 03-Dec-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Obey Review.
5586064a8b4b5328f37f9a7cf2aaf893ed099e67 30-Nov-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Accept input-type option.
4811c997e10bcfbd8e0fdfb130c3368abd33bbca 30-Nov-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Restructure more, add examples.
5282dcff047a0541e424d77b46dc837093e99586 29-Nov-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Redesign Web UI front page.
8d11785bab797efec9c78e11c9c07e7a32b35e21 28-Nov-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Add SemanticUI to old web server.
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7f 22-Aug-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Complete TPTP support (#1707) * Add option to print the AST in XML/JSON output. Turn it off by default. * Add abstract syntax of TPTP. * Add parens and brackets to Common.Lexer. * Add TPTP Parser. * Add TPTP Sign. * Add TPTP Morphism. * Add TPTP StaticAnalysis. * Fix IRI character parsing. * Add TPTP Pretty. * Add TPTP Logic. * Map the tptp and p file extension to the TPTP logic for input. * Add LibDefn parser for TPTP. * Write TPTP output. * Add EProver to TPTP. * Add TPTP Sublogics. * Add SPASS prover to TPTP. * Add Vampire prover to TPTP. * Add Darwin prover to TPTP. * Add Leo-II prover to TPTP. * Add Geo-III prover to TPTP - It does not support a timeout. * Add CVC4 prover to TPTP. * Add Isabelle prover to TPTP. * Make IRI compatible with TPTP library file names. * Revert "fail if names of sentences appear as names of symbols #1630" This is a combination of 3 commits: * Revert "check that the Result has no errors" This reverts commit 9542b929f3cfabf1491c3f0489acf92ba703968f. * Revert "better error message" This reverts commit a7ea46d4c76b11735234092d0a50efcbc56f9642. * Revert "fail if names of sentences appear as names of symbols" This reverts commit 2487bae09bf3aabc7085880aee616648fe5ca241. * Fix usage of magic file There were other (system) magic files invoked as well with a higher priority. Using the MAGIC environment variable instead of the argument --magic-file overrides this behaviour and only uses the specified magic file. * Fix magic file The escaping of "@" and "(" is not needed. The escaping of a trailing space in clif is needed. * Add TPTP to magic file. * Add Satallax prover to TPTP. * Properly check for http[s] URIs. * Allow file:// in libdirs. * Allow only one http[s] libdir - Parse the port correctly. * Fix all remaining parsing problems. * Move functions to debug the parser to a separate module. * Get rid of all TPTP related compiler warnings. * Move the type 'Morphism' to 'TPTP.Morphism'. * Rename: TPTP/Logic.hs -> TPTP/Logic_TPTP.hs * Implement all_sublogics. * Recognise negated_conjecture as a proof obligation.

/hets/.gitignore /hets/Common/DebugParser.hs /hets/Common/FileType.hs /hets/Common/IRI.hs /hets/Common/Id.hs /hets/Common/Lexer.hs /hets/Common/Utils.hs /hets/CommonLogic/Lexer_CLIF.hs /hets/Comorphisms/LogicList.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/ReadLibDefn.hs /hets/Driver/WriteFn.hs /hets/Hets.cabal /hets/Logic/Logic.hs /hets/Makefile Output/Proof.hs Server.hs /hets/SoftFOL/DFGParser.hs /hets/Static/AnalysisStructured.hs /hets/Static/ToJson.hs /hets/Static/ToXml.hs /hets/TPTP/AS.der.hs /hets/TPTP/Common.hs /hets/TPTP/Documents/TPTPSyntax.html /hets/TPTP/Logic_TPTP.hs /hets/TPTP/Morphism.hs /hets/TPTP/Morphism/Sentence.hs /hets/TPTP/ParseAsLibDefn.hs /hets/TPTP/Parser.hs /hets/TPTP/Pretty.hs /hets/TPTP/Prover/CVC4.hs /hets/TPTP/Prover/Common.hs /hets/TPTP/Prover/Darwin.hs /hets/TPTP/Prover/EProver.hs /hets/TPTP/Prover/EProver/ProofParser.hs /hets/TPTP/Prover/Geo3.hs /hets/TPTP/Prover/Isabelle.hs /hets/TPTP/Prover/Leo2.hs /hets/TPTP/Prover/ProofParser.hs /hets/TPTP/Prover/ProverState.hs /hets/TPTP/Prover/SPASS.hs /hets/TPTP/Prover/SPASS/ProofParser.hs /hets/TPTP/Prover/Satallax.hs /hets/TPTP/Prover/Vampire.hs /hets/TPTP/Prover/Vampire/ProofParser.hs /hets/TPTP/Sign.hs /hets/TPTP/StaticAnalysis.hs /hets/TPTP/Sublogic.hs /hets/magic/hets.magic
60e6795dd310e10194e12bb660575aadf941328b 14-Aug-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Introduce semantic versioning (#1716) * Put the version into Driver/Version.hs. * Fix version strings. * Add --numeric-version option. * Adjust HETS_VERSION in Makefile. * Remove rev.txt. * get fully rid of GIT_TIMESTAMP + minor simplifications * Rename function hetcats_version to hets_version. * Use camelCase.
46c318705d1532d90572abf9ee869016583d985b 08-Aug-2017 Till Mossakowski <till@iws.cs.ovgu.de>

HetCASL -> DOL at various places
fe495a0978e5aa70776103c37fb0eb2bd6abea69 10-Aug-2016 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Write PID file in server mode. (#1648) * Write PID file in server mode. * Add parameter for pidfile to manpage. * Delete pidfile after termination (by INT and TERM). * Beautify manpage line of pidfile. * Print warnings for option -P without -X. * Print verbosity message.
dab141168df1b5ae84852d862b3aefc8782cfc7e 29-Jul-2016 mcodescu <mscodescu@gmail.com>

fromMaybe and trailing spaces
4cc0a3156ac9f0f1e080433f8c4d050712e09d2b 28-Jul-2016 mcodescu <mscodescu@gmail.com>

compatibility with GHC 7.10.2
5606c84ebef3de545602e215bbd87931334d48f0 24-May-2016 mcodescu <mscodescu@gmail.com>

translate graph via path
c24f7998fe7dfca4277f83076a119aabfe6186a0 24-May-2016 mcodescu <mscodescu@gmail.com>

theory of a node and its translation via a path of comorphisms via the RESTful API
9542b929f3cfabf1491c3f0489acf92ba703968f 09-May-2016 mcodescu <mscodescu@gmail.com>

check that the Result has no errors
e9458b1a7a19a63aa4c179f9ab20f4d50681c168 25-Mar-2016 Jens Elkner <jel+git@iws.cs.uni-magdeburg.de>

applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename

/hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/Grothendieck.der.hs /hets/ATC/Sml_cats.hs /hets/Adl/As.hs /hets/Adl/Logic_Adl.hs /hets/Adl/Parse.hs /hets/Adl/Print.hs /hets/Adl/Sign.hs /hets/Adl/StatAna.hs /hets/Adl/adl.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/Keywords.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ModelFormula.hs /hets/CASL/CompositionTable/ModelTable.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/CompositionTable/ParseTable2.hs /hets/CASL/CompositionTable/Pretty2.hs /hets/CASL/CompositionTable/ToXml.hs /hets/CASL/Cycle.hs /hets/CASL/Disambiguate.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Induction.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/OMDoc.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Qualify.hs /hets/CASL/Quantification.hs /hets/CASL/QuickCheck.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/ToItem.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CASL/World.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/Parse_AS.hs /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CASL_DL/Sublogics.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ParseProofScript.hs /hets/CMDL/ProcessScript.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/ASUtils.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/AnEvenTool.hs /hets/CSL/Analysis.hs /hets/CSL/BoolBasic.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/DependencyGraph.hs /hets/CSL/EPElimination.hs /hets/CSL/EPRelation.hs /hets/CSL/EvalSpec.hs /hets/CSL/ExtendedParameter.hs /hets/CSL/Fold.hs /hets/CSL/GeneralExtendedParameter.hs /hets/CSL/GenericInterpreter.hs /hets/CSL/GuardedDependencies.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/InteractiveTests.hs /hets/CSL/Interpreter.hs /hets/CSL/Keywords.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/MapleInterpreter.hs /hets/CSL/MathematicaInterpreter.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/Print_AS.hs /hets/CSL/ReduceInterpreter.hs /hets/CSL/ReduceProve.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/SMTComparison.hs /hets/CSL/Sign.hs /hets/CSL/SimpleExtendedParameter.hs /hets/CSL/Symbol.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CSL/TreePO.hs /hets/CSL/Verification.hs /hets/CSL/quickchecks.hs /hets/CSMOF/As.hs /hets/CSMOF/Logic_CSMOF.hs /hets/CSMOF/ParseXmiAsLibDefn.hs /hets/CSMOF/Parser.hs /hets/CSMOF/Print.hs /hets/CSMOF/Sign.hs /hets/CSMOF/StatAna.hs /hets/CSMOF/XMLKeywords.hs /hets/CSMOF/tests/Test_As.hs /hets/CSMOF/tests/Test_Logic.hs /hets/CSMOF/tests/Test_Parser.hs /hets/CSMOF/tests/Test_StatAna.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ATermDiffMain.hs /hets/Common/ATerm/ATermLibTest.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoParser.hs /hets/Common/AnnoState.hs /hets/Common/AutoProofUtils.hs /hets/Common/Consistency.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/Data.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/Earley.hs /hets/Common/ExampleMixIds.hs /hets/Common/ExtSign.hs /hets/Common/FileType.hs /hets/Common/GlobalAnnotations.hs /hets/Common/GraphAlgo.hs /hets/Common/Http.hs /hets/Common/IO.hs /hets/Common/IOS.hs /hets/Common/IRI.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Item.hs /hets/Common/Json.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lattice.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/MapSet.hs /hets/Common/Lib/Maybe.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/SizedList.hs /hets/Common/Lib/State.hs /hets/Common/Lib/Tabular.hs /hets/Common/LibName.hs /hets/Common/LogicT.hs /hets/Common/MathLink.hs /hets/Common/OrderedMap.hs /hets/Common/Parsec.hs /hets/Common/Partial.hs /hets/Common/Percent.hs /hets/Common/Prec.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofTree.hs /hets/Common/ProofUtils.hs /hets/Common/ProverTools.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SAX.hs /hets/Common/SExpr.hs /hets/Common/SFKT.hs /hets/Common/SZSOntology.hs /hets/Common/SetColimit.hs /hets/Common/Taxonomy.hs /hets/Common/Timing.hs /hets/Common/ToXml.hs /hets/Common/Token.hs /hets/Common/Unlit.hs /hets/Common/Utils.hs /hets/Common/XPath.hs /hets/Common/XUpdate.hs /hets/Common/XmlDiff.hs /hets/Common/XmlExpat.hs /hets/Common/XmlParser.hs /hets/Common/XmlPickler.hs /hets/Common/testxmldiff.hs /hets/Common/testxpath.hs /hets/Common/testxupdate.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/ExpandCurie.hs /hets/CommonLogic/Lexer_CLIF.hs /hets/CommonLogic/Lexer_KIF.hs /hets/CommonLogic/Logic_CommonLogic.hs /hets/CommonLogic/ModuleElimination.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDoc.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/ParseCLAsLibDefn.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Parse_KIF.hs /hets/CommonLogic/PredefinedCASLAxioms.hs /hets/CommonLogic/Print_KIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Sublogic.hs /hets/CommonLogic/Symbol.hs /hets/CommonLogic/Tools.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2ExtModal.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSE.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CSMOF2CASL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CommonLogic2IsabelleHOL.hs /hets/Comorphisms/CommonLogicModuleElimination.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DynLogicList.hs /hets/Comorphisms/ExtModal2CASL.hs /hets/Comorphisms/ExtModal2ExtModalNoSubsorts.hs /hets/Comorphisms/ExtModal2ExtModalTotal.hs /hets/Comorphisms/ExtModal2HasCASL.hs /hets/Comorphisms/ExtModal2OWL.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HasCASL2THFP_P.hs /hets/Comorphisms/Haskell2IsabelleHOLCF.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/HolLight2Isabelle.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/Hybrid2CASL.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/Prop2CommonLogic.hs /hets/Comorphisms/Prop2QBF.hs /hets/Comorphisms/QBF2Prop.hs /hets/Comorphisms/QVTR2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SoftFOL2CommonLogic.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Comorphisms/THFP2THF0.hs /hets/Comorphisms/THFP_P2HasCASL.hs /hets/Comorphisms/THFP_P2THFP.hs /hets/Comorphisms/test/showKP.hs /hets/Comorphisms/test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/SymMapAna.hs /hets/CspCASL/SymbItems.hs /hets/CspCASL/Symbol.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs /hets/Driver/AnaLib.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/ReadLibDefn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModal2Ship.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Parse_AS.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/Ship.hs /hets/ExtModal/StatAna.hs /hets/ExtModal/Sublogic.hs /hets/Fpl/As.der.hs /hets/Fpl/Logic_Fpl.hs /hets/Fpl/Morphism.hs /hets/Fpl/Sign.hs /hets/Fpl/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogicUtils.hs /hets/FreeCAD/As.hs /hets/FreeCAD/HetPrinter.hs /hets/FreeCAD/Logic_FreeCAD.hs /hets/FreeCAD/PrintAs.hs /hets/FreeCAD/Translator.hs /hets/FreeCAD/VecTools.hs /hets/FreeCAD/XMLPrinter.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Cond.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/GenericATP.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphDisplay.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GraphTypes.hs /hets/GUI/GtkAddSentence.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkGenericATP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/GtkUtils.hs /hets/GUI/HTkGenericATP.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/HTkProverGUI.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProverGUI.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/ShowRefTree.hs /hets/GUI/Taxonomy.hs /hets/GUI/UDGUtils.hs /hets/GUI/Utils.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/InteractiveTests.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchCAD.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/HolLight/Helper.hs /hets/HolLight/HolLight2DG.hs /hets/HolLight/Logic_HolLight.hs /hets/HolLight/Sentence.hs /hets/HolLight/Sign.hs /hets/HolLight/Term.hs /hets/Hybrid/AS_Hybrid.der.hs /hets/Hybrid/HybridSign.hs /hets/Hybrid/Keywords.hs /hets/Hybrid/Logic_Hybrid.hs /hets/Hybrid/Parse_AS.hs /hets/Hybrid/Print_AS.hs /hets/Hybrid/StatAna.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Process.hs /hets/Interfaces/Utils.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/Isa2DG.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/ImplOL.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/KnownIris.hs /hets/Logic/LGToJson.hs /hets/Logic/LGToXml.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/MMT/Hets2mmt.hs /hets/MMT/Tools.hs /hets/MMT/XMLtoPT.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/ModalSystems.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/Import.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/XmlInterface.hs /hets/OWL2/AS.hs /hets/OWL2/CASL2OWL.hs /hets/OWL2/ColimSign.hs /hets/OWL2/ColonKeywords.hs /hets/OWL2/Conservativity.hs /hets/OWL2/CreateOWL.hs /hets/OWL2/DMU2OWL2.hs /hets/OWL2/Extract.hs /hets/OWL2/ExtractModule.hs /hets/OWL2/Function.hs /hets/OWL2/Keywords.hs /hets/OWL2/Logic_OWL2.hs /hets/OWL2/MS.hs /hets/OWL2/MS2Ship.hs /hets/OWL2/ManchesterParser.hs /hets/OWL2/ManchesterPrint.hs /hets/OWL2/Medusa.hs /hets/OWL2/MedusaToJson.hs /hets/OWL2/Morphism.hs /hets/OWL2/OWL22CASL.hs /hets/OWL2/OWL22CommonLogic.hs /hets/OWL2/Parse.hs /hets/OWL2/ParseOWL.hs /hets/OWL2/ParseOWLAsLibDefn.hs /hets/OWL2/Print.hs /hets/OWL2/Profiles.hs /hets/OWL2/ProfilesAndSublogics.hs /hets/OWL2/Propositional2OWL2.hs /hets/OWL2/ProveFact.hs /hets/OWL2/ProvePellet.hs /hets/OWL2/ProverState.hs /hets/OWL2/Rename.hs /hets/OWL2/ShipSyntax.hs /hets/OWL2/Sign.hs /hets/OWL2/StaticAnalysis.hs /hets/OWL2/Sublogic.hs /hets/OWL2/Symbols.hs /hets/OWL2/Taxonomy.hs /hets/OWL2/Theorem.hs /hets/OWL2/Translate.hs /hets/OWL2/XML.hs /hets/OWL2/XMLConversion.hs /hets/OWL2/XMLKeywords.hs /hets/OWL2/scripts/runConv.hs /hets/OWL2/scripts/runManchester.hs /hets/OWL2/scripts/runXML.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs ParseProofScript.hs Query.hs Server.hs XMLparsing.hs XMLstate.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/TriangleCons.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/QVTR/As.hs /hets/QVTR/Logic_QVTR.hs /hets/QVTR/ParseQvtAsLibDefn.hs /hets/QVTR/Parser.hs /hets/QVTR/Print.hs /hets/QVTR/Sign.hs /hets/QVTR/StatAna.hs /hets/RDF/AS.hs /hets/RDF/Function.hs /hets/RDF/Logic_RDF.hs /hets/RDF/Morphism.hs /hets/RDF/Parse.hs /hets/RDF/ParseRDFAsLibDefn.hs /hets/RDF/Print.hs /hets/RDF/Sign.hs /hets/RDF/StaticAnalysis.hs /hets/RDF/Symbols.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Scratch.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/EProver.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/ParseTPTPAsLibDefn.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveMetis.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/StatAna.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/ConsInclusions.hs /hets/Static/DGNavigation.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/FromXmlUtils.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/SpecLoader.hs /hets/Static/ToJson.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/XGraph.hs /hets/Static/XSimplePath.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/THF/As.der.hs /hets/THF/Cons.hs /hets/THF/HasCASL2THF0Buildins.hs /hets/THF/Logic_THF.hs /hets/THF/ParseTHF.hs /hets/THF/Poly.hs /hets/THF/Print.hs /hets/THF/PrintTHF.hs /hets/THF/ProveIsabelle.hs /hets/THF/ProveLeoII.hs /hets/THF/ProveSatallax.hs /hets/THF/ProverState.hs /hets/THF/SZSProver.hs /hets/THF/Sign.hs /hets/THF/StaticAnalysisTHF.hs /hets/THF/Sublogic.hs /hets/THF/Translate.hs /hets/THF/Utils.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/TopHybrid/AS_TopHybrid.der.hs /hets/TopHybrid/Logic_TopHybrid.hs /hets/TopHybrid/Parse_AS.hs /hets/TopHybrid/Print_AS.hs /hets/TopHybrid/StatAna.hs /hets/TopHybrid/TopHybridSign.hs /hets/TopHybrid/Utilities.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/utils/itcor/GenItCorrections.hs
db6af887f634d80de59ae1a53658ee77921a5594 17-Dec-2015 cmaeder <c.maeder@jacobs-university.de>

relax layout
18b36f727b1d0be6ce1ec918de15f5c17da7b53f 08-Dec-2015 cmaeder <c.maeder@jacobs-university.de>

disambiguate FileInfo
d7d4f1cb007d9833a15fdfc917d96f4e4f106bc3 27-Nov-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Fix reading long request bodies.
cde581220edad4942fc8a012e3ba41607c280fc0 05-Nov-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Increase Session map size.
bb20498381d61cb76b362f1164aa3d6cbde165aa 05-Nov-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Use Sessions from IntMap for Cleaning Only those have been modified to be cleanable.
ace3ac8a6ba9031ea228823af98d12f95c56785f 05-Nov-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Mark Sessions as cleanable.
a8df18d7f9cbcecd3d6e54a61a2adec16dcb7914 04-Nov-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Only remove cleanable Sessions.
9dc3201888f22f8f78e83090cbf46b10b6109625 04-Nov-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add function to make a Session cleanable.
8f9ac967da20be8d7782d2fc0a085dd42f79c0cb 04-Nov-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add Session field sessCleanable.
3f5ac250048068c0a1c4ead95e50a1212588ecaf 04-Nov-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Extract more general function from nextSess.
8846af9dfc3d74f8b1d2566e81c9e5aa25647b99 04-Nov-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Switch order of parameters.
5d3978bb76c33d08d6297f69f10bbc04721ee3a5 03-Nov-2015 cmaeder <c.maeder@jacobs-university.de>

shortened log file name
6f9d360a425bdae3bd15289388e64c14a85eca43 03-Nov-2015 cmaeder <c.maeder@jacobs-university.de>

fix #1538
83ce5f14d356cd62e98f4f674da7f11ea1869eb0 02-Nov-2015 Till Mossakowski <till@communtu.de>

use textC for mime type
e99cb5db53054d96bb97c9b8b130bd249802450e 02-Nov-2015 Till Mossakowski <till@communtu.de>

obyed checkSource.sh
d3d8d20d41aaaa107cf2dfa4dd0434e6a08b22d5 02-Nov-2015 Till Mossakowski <till@communtu.de>

rewrote catchException using mkResponse
e5f71ad96ddbaafd3bf8ae0820df93e0db4b0527 21-Oct-2015 cmaeder <c.maeder@jacobs-university.de>

insert String encoding for utf-8
648912d7f1533493aa026e67a46f657369c2b082 28-Sep-2015 Till Mossakowski <till@communtu.de>

added '*** Error' to error messages
7b21830970250ca6369b0ae60f34c990f9a5c5bf 28-Sep-2015 Till Mossakowski <till@communtu.de>

fixed #1522
3fda7e82e68c77ec3231c73a9b7e17dc42b8fdc0 31-Aug-2015 Till Mossakowski <till@communtu.de>

set warp timeout to one day
d4d3caef3878e583180d50f670957f1406d1effb 06-May-2015 cmaeder <c.maeder@jacobs-university.de>

checked source
e42249ec61f50a83525db6e5fc9f5c4dd1b4cf5f 06-May-2015 cmaeder <c.maeder@jacobs-university.de>

avoid hiding imports
26f0691ae6929941ee21ca3d33732a0ce45a8079 06-May-2015 cmaeder <c.maeder@jacobs-university.de>

removed getWebProverName
bb39f9f3b231588a5ed36d424ae27c6e31852fea 06-May-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Avoid qualification.
ceb5bd32f163b29b1cbea577334bc869c07add04 06-May-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Remove proverOrConsCheckerName.
db5f94b6009ee3a1a4f62a3bd1583a7b3ee96db8 06-May-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Move ProverOrConsChecker to Proofs.AbstractState.
d102a920578426a89411cc8dabe47d7a881eab8f 07-Apr-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Directly use G_prover and G_cons_checker for `provers` Instead of passing the names of the provers, we now pass the G_prover itself. This way we get more possibilities for formatting.
18d589be75aa0cbaacae9ab2884c0b07943de024 07-Apr-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Use consistent naming of provers Instead of the prover set in the ProofStatus object, we use the Prover set in the proving/consistency-checking functions. This allows us to be sure to have the prover object and use the same name-retrieval functions as in the provers/consistency-checkers command.
950875ac099734b9eaccf4233773e6df00477f22 05-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Use Output.Translations module.
0552b690f40f3d73d4d4b2241fcb24d2ecc0c21e 05-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Split formatting and retrieval functions.
5c89bca8b187e75ff87be1afe964c1aeba8a7725 05-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Use Output.Prover module for global commands.
7d0db235b17b2109cd45fa50e6d1bbc77823f81d 05-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Use Output.Provers module for NodeCommands.
96074fcf7dc0751450e132610b9bb31207ce0cd2 05-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add getProverList function.
e1e5f30cafbcd33549c60a77eee73709b6f46249 05-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Move showProversOnly to Formatting module.
fdf9cef4c2e81f477f3023fb8e45f6faebfa5a65 18-Feb-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Move some formatting functions to a new Formatting module.
8fa44603c0dfe55e122bb003c4afb558ef1e33ad 18-Feb-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add usedTranslation to prove output A better serialization of the comorphism is yet to be implemented. This only extends the RESTful API. The old web API is not affected.
dfa31ad230c88a66a9722c2a5ab23fe82c33f014 18-Feb-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Rename type ResIO to RsrcIO
7d8bc8aab9febea37e6e5921e918ff6bb48fe490 30-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Use ResIO type in Webresponse.
f178cdc92ae8c7b60ee36f5dde2e5b7eae41ff74 30-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Remove redundant import.
d16243f2fd4825f598eee589b68e324e23eb469d 30-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Remove duplicate code.
b87fb5d6d5aba8fc6d3c528f7da0af228ca76b02 30-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Switch lines, put ResIO together.
ea232c5fb4a8ae15aef3b348c9300204f0fafed1 30-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Get rid of ifdef's around signatures.
cec9b07402f7f07475be700ab376114c14716c5c 30-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Remove redundant ifdef.
ab38e2fac740c4336afafbe0584053dc2e67002b 30-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Support Warp 1 and 2.
df24d7f0c79862ffd8189698645e201bf07a4d9c 29-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Fix file upload The call of `parseRequestParams` consumed the request body, resulting in the old webAPI not having anything from body to parse. The call is simply moved to a place where only the RESTful API is used.
20bbcc2b693b3040d7b8cc92ba966580637027d9 26-Jan-2015 cmaeder <c.maeder@jacobs-university.de>

changed Parsec import to work with parsec1
d35249e8b76e34d3cbb6adf7d89e9111226a49d6 15-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Obey code style.
bec39c85aaeeea5e171f391166f9d46a5492618a 15-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Use mplus, remove orElse
25da71ee832b729e33def344a68f59fe21ce9c07 15-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Remove re-exporting module.
2ed0ce5565323b3a233d9258b0ff63dfa4a8e8e1 14-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Keep old formatting for old WebAPI.
703004db20b23870f080c4d9640729b19b7c2288 14-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add parameter for API.
4ded733c298c9fd95db25858b897da482f4ab3e7 14-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add and use param to show details and proof.
051d5cb9bd6c60a7050c4ceaf2591c8122c7e785 14-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add and use ProofFormatterOptions.
46d532b1ca4bbe991b31014c40ae8b2b274c9bc2 14-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Use Output module.
62d03544ebdad795f32662241e1f7d9ce5ca2a31 14-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Use supplied format for getHetsResult.
289c23a0b61b7ff9a4dc83f2e9d56ac5b2f99b04 14-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add Output module for server.
e2374b99721dab596695fda64b96aecc5ecf23c9 14-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Rename variable.
68e05447f5ab8b56cd39012a58ab5ae280cfb25d 14-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Split proving and formatting functions.
48ae34aa39aba121ea4f8dea362aadb0472a59fe 14-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Introduce type ProofResult.
f345dca8aecfdbc7137a28dda45f9a5574d1fd14 14-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Give variables proper names.
728bd6bf3eb21b95a5e83db746a3c6ab5e8a6de1 14-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Parse JSON in request body Form data is still supported, but it is converted to JSON in order to have a unified lookup mechanism.
64f5f0a8c38d5b2ba33b09e02e92b0e3f812d6d0 09-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Split requestParams retrieval to form and json.
55ab20b85d8838544a83c1ef2e01e1f2b2da7496 04-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add prover output to ProofStatus and xml response.
f674d7a58db3f991300a708f3799d80c369781f8 04-Jan-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Output `ProofStatus` information.
4937a0e373f619dc520799923acec42db5da5eb3 29-Dec-2014 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Fix name of RESTful functions.
82ae9a4a625c24e79dc82b1a228b28b9dc99cb13 29-Dec-2014 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Only use POST params in non-GET request.
6712131a076c2df9ac96c224a78244402a167b14 29-Dec-2014 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Use POST data in non-GET requests for RESTful API Still, the query string params are preferred if they are supplied in order to keep compatibility to the previous behavior.
ccd9cf19d129595770d592d3d0d80c6619f7a141 29-Dec-2014 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Allow selection of axioms.
f07364021546acc2fa5da55501bd6207b040f7bf 11-Dec-2014 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Allow to pass `theorems` in prove-request There already was a `theorems` command, which was not used in the RESTful API. It can now be passed to select theorems to be proven. If it is empty or omitted, all theorems in the node/theory will be proven.
cbd64ad1d663565751cb9442f78a40ff96c6bed6 10-Dec-2014 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Rename REST API command translate to translations.
fb9ec1e4dd1877781ec2b491fb0a6bcd38a7b04d 28-Nov-2014 cmaeder <cmaeder@users.noreply.github.com>

always report only mime-type of files
ad5671edfa2ed767ec4fdc2f3099603d6fe8b97e 20-Nov-2014 cmaeder <cmaeder@users.noreply.github.com>

adjusted some links
853f27e556cb4e8c53f535df8e7b0ad665cf9bbc 06-Nov-2014 notanartist <notanartist@outlook.com>

problems with httptypes >= .8.5
7bf6fd9cf7a2649a7ec8c72e47ebc69855e3ca84 06-Nov-2014 notanartist <notanartist@outlook.com>

orig document is reloaded when storing OWL output types via the owl api. the file name parsing was also fixed..
90d3a604eeb43972cef8bfd283a0118a4ad6e9e7 28-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

make it compile with ghc-7.4
418ac32a42c0486409173439b7e68849517ef5fc 27-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

change json content type from text to application
1d65a799298f6b1253d774c22f61029e6eb99cad 23-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

added service for available provers #1378
00d671cc654fe8d1571fa594bbebc9a2906ea880 23-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

make it compile on precise using ghc-7.4.1 and http-types < 0.7
cddd87cd39be9d031348ef95051c4d14067e1646 22-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

use usable provers and cons-checkers
1defc008da0fae281b776ffe464e2fef549804b5 15-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

make svg computation more lazy
293abe6af19382a456dbe612aef45054ef76832f 13-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

output port number before serving
de8983abdf4b35af1ed1fdee2de4dff13c2368ba 07-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

replaced remaining 405 status codes by 400
986888e7f4d8ed681272a79c63f329ce8037063d 07-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

added content types to most responses and changed some status codes
feb9227bb5c49d5bea1a112500c3b3eba31abdfb 19-Aug-2014 cmaeder <cmaeder@users.noreply.github.com>

for interactive api proving query keys for all theorems are created
024703c9d1326c23e307c0b0d453ed3358e87fe4 05-Aug-2014 cmaeder <cmaeder@users.noreply.github.com>

add json output
0caaa1bfea2f6665771ded5c54ef42b212da1217 25-Jul-2014 cmaeder <cmaeder@users.noreply.github.com>

disallow absolute directories
fcd8dd6d9029180ae5e777e94a973c5e355a55cf 23-Jul-2014 cmaeder <cmaeder@users.noreply.github.com>

added sanity check for unknown query keys
0a26144c20fa9cdcd05011ca5019cbac8e4afae0 23-Jul-2014 cmaeder <cmaeder@users.noreply.github.com>

extract options from query string
4bd27a2cb9efd5d8ff00b5cf823487403add724e 21-Jul-2014 cmaeder <cmaeder@users.noreply.github.com>

add version, robots.txt and omit empty query
8723ec450f2e7a024230467c0c28a3f154905483 15-Jul-2014 cmaeder <cmaeder@users.noreply.github.com>

conditional compilation for warp version 1 (precise), 2 (trusty) and 3 (latest)
ca3e283fa3522032a03f9d704bd243af1e28b1ad 09-Jul-2014 cmaeder <cmaeder@users.noreply.github.com>

output path and query to /tmp/emtpy.txt for debugging purposes
eca54dc24f2c59cc51645115347a89ba2b40de36 07-Jul-2014 cmaeder <cmaeder@users.noreply.github.com>

keep cache small
2ccdb81b4018e0a76f6dad3a940ba1241e98f6d9 30-Jun-2014 cmaeder <cmaeder@users.noreply.github.com>

added hashkeys to sessions #1266
6a91a0598e5df5546421d01fc84ff20084202d47 30-Jun-2014 cmaeder <cmaeder@users.noreply.github.com>

added command line flags to command list
d1c667fd9445963d9d31e2cf5d0ead15e77082a4 30-Jun-2014 cmaeder <cmaeder@users.noreply.github.com>

allow some command flags to be set via the web api #1266
69ad4a5f0c84ae5d0cdd7518c3698c36342a47d9 27-Jun-2014 cmaeder <cmaeder@users.noreply.github.com>

added robots meta tag and refactored javascript integration
c5b8b64377e24bcbf5cc108ca433cfbbd6235ba1 27-Jun-2014 Christian Maeder <cmaeder@users.noreply.github.com>

removed hard-coded blacklist
9f4902edfa3d477e42343e0ec357a2f93b1119d1 27-Jun-2014 Christian Maeder <cmaeder@users.noreply.github.com>

added white and black lists for IP filtering #1266
1f0483f71bad0707f10293d0b4db4649aa93fb35 27-Jun-2014 Christian Maeder <cmaeder@users.noreply.github.com>

use port given by -S (--listen) option #1266
1698621aea64f7a2b04a4084984eed1437e22771 27-Jun-2014 Christian Maeder <cmaeder@users.noreply.github.com>

added filetype to web interface #1266
9a859380d595b8aaef7256fbf4e18012d3b57742 27-Jun-2014 Christian Maeder <cmaeder@users.noreply.github.com>

added slashes for proper homepage
c8afa08a8bda589ef6670068dff0108464be4da7 10-Apr-2014 Christian Maeder <Christian.Maeder@dfki.de>

removed unused import git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18571 cec4b9c1-7d33-0410-9eda-942365e851bb
034d9e2e9ada5aaa5665180720744d51166dacd4 17-Mar-2014 Christian Maeder <Christian.Maeder@dfki.de>

pass hets options to dev-graph xml output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18548 cec4b9c1-7d33-0410-9eda-942365e851bb
06b97c160c9160682f18591409cadc9e97873020 07-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

allow to read .xml files as OWL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18466 cec4b9c1-7d33-0410-9eda-942365e851bb
5cf079f6a0f27d0b9e45ac0c0872aa9983670323 04-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

report more errors git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18457 cec4b9c1-7d33-0410-9eda-942365e851bb
3abf8a8f697c113233027f0c865ed57deb274542 04-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

properly handle .xupdate file content of lbsBackend git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18456 cec4b9c1-7d33-0410-9eda-942365e851bb
10221dd7bc0e8746a01f71ba28514009ec5b2b1e 04-Feb-2014 Christian Maeder <Christian.Maeder@dfki.de>

properly handle file content of lbsBackend git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18455 cec4b9c1-7d33-0410-9eda-942365e851bb
233754e153e665aa748bf8b45bd8b1938b6c21a7 31-Jan-2014 Christian Maeder <Christian.Maeder@dfki.de>

switch from tempFileBackEnd to lbsBackEnd for wai-extra 1.0 and 2.0 compatibility git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18454 cec4b9c1-7d33-0410-9eda-942365e851bb
11c3a215d5cf043181e83929f1ce214df65cb587 18-Dec-2013 Christian Maeder <Christian.Maeder@dfki.de>

show lib-ids without ankle brackets git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18401 cec4b9c1-7d33-0410-9eda-942365e851bb
e57d34b9f5eda12bce8e12229cf6f1c7fd9159a1 13-Nov-2013 Christian Maeder <Christian.Maeder@dfki.de>

show MyHetsLib content for empty path (cleaned up code) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18300 cec4b9c1-7d33-0410-9eda-942365e851bb
f1b9177fa86eee281ffe30e99b0e8abd89535f7e 17-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

query consistency-checker instead of prover git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18209 cec4b9c1-7d33-0410-9eda-942365e851bb
e98c3d3efab62d97ebdeed52f4109d961f6432aa 17-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

store key also within session git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18208 cec4b9c1-7d33-0410-9eda-942365e851bb
29d783ee57c3d959b74fea330bb21ff7e5b8e185 17-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

adjusted result output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18207 cec4b9c1-7d33-0410-9eda-942365e851bb
e24da6268aa5791c7efd44571cafc0e36bf568db 17-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

include theorems for consistency checks by default git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18205 cec4b9c1-7d33-0410-9eda-942365e851bb
5a89ec196dfd3e342f6d4ef3a318bc9992190bba 17-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

consistency check a single node git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18204 cec4b9c1-7d33-0410-9eda-942365e851bb
ea4d82b1b67b5c79725c196883cab4bb78f412e5 17-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

refactored global consistency check git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18203 cec4b9c1-7d33-0410-9eda-942365e851bb
bc76266f6a06f30dc77341fb2898d7f5765ff05c 17-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

ignore trailing slashes of path git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18202 cec4b9c1-7d33-0410-9eda-942365e851bb
eb24ac2f4701c8e012acf1bb8f686baa5422bb5a 17-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

also display checkers for all nodes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18201 cec4b9c1-7d33-0410-9eda-942365e851bb
22bb4a9063684a0f37dd7d0e6b21086adcc1e789 17-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

display consistency checkers of a single node git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18200 cec4b9c1-7d33-0410-9eda-942365e851bb
fdae29fce51a3b43f17e1cad0deb0f5381b9d3f6 17-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

unified prove and cons-check data structure git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18199 cec4b9c1-7d33-0410-9eda-942365e851bb
66e5f6ab072171b6fd02ccc20846386773354391 17-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

changed consistency submit button to Check git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18198 cec4b9c1-7d33-0410-9eda-942365e851bb
1322cbf38c437aa4664a0b856b24ca2aa0932395 17-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

properly collect consistency results git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18197 cec4b9c1-7d33-0410-9eda-942365e851bb
1cc76b3190979d475bc8f2c1ffe627d9abf2410b 17-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

changed prove result to xml git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18196 cec4b9c1-7d33-0410-9eda-942365e851bb
dbce18afddbe9b055be0e37f51e00d00d519b1cd 16-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

added prove resource git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18195 cec4b9c1-7d33-0410-9eda-942365e851bb
f382d86a384743a770cd5490a641e38ed1069c5c 16-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

handle translate and provers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18194 cec4b9c1-7d33-0410-9eda-942365e851bb
d17fc8849b61282e4e000a88c66ce8f2c0ab7c2f 16-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

use xml as default format git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18193 cec4b9c1-7d33-0410-9eda-942365e851bb
016b8f06b709deef8c24b3d6c59f085857a166d4 16-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

cache sessions under file and command-list key git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18192 cec4b9c1-7d33-0410-9eda-942365e851bb
4f820114168836fb05b720c429866baa5665690e 13-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

use case expr git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18191 cec4b9c1-7d33-0410-9eda-942365e851bb
bf51e183eda8e66f16795b35ce9a62468974b8e3 13-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

decoding as happened in pathBits already, check command-list git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18190 cec4b9c1-7d33-0410-9eda-942365e851bb
7f150d7930b47c297e184638ecd811b3656b0dad 13-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

provided for &lt;command-list&gt; git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18189 cec4b9c1-7d33-0410-9eda-942365e851bb
12882fa70d12d9b56cbd850ccb4b724feb3c62d5 13-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

only rely on query pairs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18188 cec4b9c1-7d33-0410-9eda-942365e851bb
5d93620c37abd9c665d3fe532d4852d62dff4233 13-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

re-added ? for browsing, undid quirks for old server git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18187 cec4b9c1-7d33-0410-9eda-942365e851bb
e4a035578fa9d1911eee097e2ed9a998c90c7805 13-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

avoid ?, replaced update strings, and reformatted parts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18186 cec4b9c1-7d33-0410-9eda-942365e851bb
9cdf614df292d5984d9ffa69755e7e039f328116 13-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

moved global commands to Server git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18185 cec4b9c1-7d33-0410-9eda-942365e851bb
b532acc045cf5e26beb0691acc136d11188cce87 13-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

use Int instead of EdgeId in Query git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18183 cec4b9c1-7d33-0410-9eda-942365e851bb
26acf851cacd7a31bdc9b25a42af9949942fa7c6 13-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

extended lib cache git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18182 cec4b9c1-7d33-0410-9eda-942365e851bb
30ccae9374798a92124e1b294404f7b55ffbb412 13-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

leave IRI handling for other code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18178 cec4b9c1-7d33-0410-9eda-942365e851bb
d4263171d0ce2cbc390a7b44bff98e8b3c0f8ce7 13-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

no longer support the old server git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18176 cec4b9c1-7d33-0410-9eda-942365e851bb
6fb590a3747600c145abfd7c3483039fb03af032 12-Sep-2013 Christian Maeder <Christian.Maeder@dfki.de>

started new REST interface git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18175 cec4b9c1-7d33-0410-9eda-942365e851bb
46b5fe38c0c8cd7b8a92ccb44e683e4996aea19c 24-Jul-2013 Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de>

attempt at 866 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18053 cec4b9c1-7d33-0410-9eda-942365e851bb
a2af8492313011f78cbedbfd302dc12150b9f7ef 06-Jun-2013 Christian Maeder <Christian.Maeder@dfki.de>

used getDGNodeName git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18010 cec4b9c1-7d33-0410-9eda-942365e851bb
8d2321e17a34951fbd52f68e9f9f148f0890e471 26-Apr-2013 Christian Maeder <Christian.Maeder@dfki.de>

made the starting page more informative git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17914 cec4b9c1-7d33-0410-9eda-942365e851bb
8e244bee2398d3ee0c90a2baf42f091606e28c96 09-Apr-2013 Christian Maeder <Christian.Maeder@dfki.de>

do not log nagios-plugins git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17846 cec4b9c1-7d33-0410-9eda-942365e851bb
e9cc16f13333a57c9c965bc0e02afadec32cfb8b 22-Mar-2013 Christian Maeder <Christian.Maeder@dfki.de>

re-added yandex bot git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17808 cec4b9c1-7d33-0410-9eda-942365e851bb
78c294da55788b25e175180168371c9536a6d440 04-Mar-2013 Christian Maeder <Christian.Maeder@dfki.de>

introduced shorter output formats see #1120 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17774 cec4b9c1-7d33-0410-9eda-942365e851bb
eceae4df2cb85ec81208b23318642315908496d1 04-Mar-2013 Christian Maeder <Christian.Maeder@dfki.de>

do not print parameters, adjusted bots list git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17772 cec4b9c1-7d33-0410-9eda-942365e851bb
c41ca7402309b50eb58e5c23a2681d2267b4088b 01-Feb-2013 Christian Maeder <Christian.Maeder@dfki.de>

added some IP addresses to ignore git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17742 cec4b9c1-7d33-0410-9eda-942365e851bb
f8b5384f117f1eb77f87b9bc982513109b3c2d56 22-Oct-2012 Christian Maeder <Christian.Maeder@dfki.de>

do not used value attribute but properly access user-defined one git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17594 cec4b9c1-7d33-0410-9eda-942365e851bb
ad2ac7f1417c3cda4d7e82733df1b23639d8819c 22-Oct-2012 Christian Maeder <Christian.Maeder@dfki.de>

use value on instead of true for the single node prover git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17593 cec4b9c1-7d33-0410-9eda-942365e851bb
f59ad2f2dc308e549d70f0de4c0054df3b2bbfca 22-Oct-2012 Christian Maeder <Christian.Maeder@dfki.de>

also made button Unchecked work git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17592 cec4b9c1-7d33-0410-9eda-942365e851bb
760a28d172dbf57e8472bc1df4668fde47a568b3 22-Oct-2012 Christian Maeder <Christian.Maeder@dfki.de>

made button Unproven work git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17591 cec4b9c1-7d33-0410-9eda-942365e851bb
f56cdf11927c31495bae642a9eb383212c90ba61 18-Oct-2012 Christian Maeder <Christian.Maeder@dfki.de>

do not change comorphism order and refactored git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17586 cec4b9c1-7d33-0410-9eda-942365e851bb
41a3368af0eaad78c660477e7ded53b2ba85a275 18-Oct-2012 Christian Maeder <Christian.Maeder@dfki.de>

leave a colon in comporphism names and cleaned up git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17585 cec4b9c1-7d33-0410-9eda-942365e851bb
af2bfaed5d36cafe1092fe2bc1dbf5a763dfafcd 11-Oct-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

automatic proof results are stored correctly; select all nodes for checking if none specific are selected (consistency) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17532 cec4b9c1-7d33-0410-9eda-942365e851bb
439fdeeb1323b17084fad1b7fe619e49c270999f 11-Oct-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

fixed bug so that consistency results are stored correctly now; improved loadup time of conschecker, autoproofs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17524 cec4b9c1-7d33-0410-9eda-942365e851bb
7c99a6c982aaf61547de8054296c8055c8d1a13a 02-Oct-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

results of consistency check are stored in Dgraph via DGCHange-object (Server) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17472 cec4b9c1-7d33-0410-9eda-942365e851bb
6a88f8edd881afaf4b865b01bfbb4faaf0e7a3c9 18-Sep-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

created backend for web-consistencychecker git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17353 cec4b9c1-7d33-0410-9eda-942365e851bb
3420e25193b07f6213b0c11c31c9baf799c9c9e2 11-Sep-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

display proper titles for autoproof, conschecker git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17328 cec4b9c1-7d33-0410-9eda-942365e851bb
c4afbc0e8d0896b0e7efec66a9f15e3ca16f2233 11-Sep-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

display proper automatic cons checkers within consistency checker window git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17327 cec4b9c1-7d33-0410-9eda-942365e851bb
465c6b72e8e480969b5f08658e394992bcc08bfc 11-Sep-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

provided button to enter consistency checker (window exists, but does not function) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17326 cec4b9c1-7d33-0410-9eda-942365e851bb
319f8219a74a41859b9d1991817644549ab43d61 11-Sep-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

proper format results of autoproof session git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17325 cec4b9c1-7d33-0410-9eda-942365e851bb
eed69480d024d858069901fefb82518a9119472f 11-Sep-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

...oops git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17320 cec4b9c1-7d33-0410-9eda-942365e851bb
0a46a4d711eca869ad75b4df84dabd72783ebdd2 11-Sep-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

worked on autoproof window; added timeout button, fixed bugs, refactored git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17319 cec4b9c1-7d33-0410-9eda-942365e851bb
0b144823976d79a34bff62f7f9ec032e80b8ce85 04-Sep-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

web autoproof window does function! now only needs an optic/usability makeover, and the result window has to be adjusted. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17287 cec4b9c1-7d33-0410-9eda-942365e851bb
38bb7e3212e979b25e0280ea6bf8c4df157d4ef4 28-Aug-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

menu button is selectable again git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17254 cec4b9c1-7d33-0410-9eda-942365e851bb
c1d06b3018b34ede2b3fb6c7fe2ad28cd5ce5b68 28-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

added syntax IRI to theories git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17252 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Grothendieck.der.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Utils.hs /hets/Driver/WriteFn.hs /hets/GUI/GraphLogic.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/Taxonomy.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/HolLight/HolLight2DG.hs /hets/Interfaces/Utils.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/Isa2DG.hs /hets/Maude/Maude2DG.hs /hets/Maude/PreComorphism.hs /hets/OMDoc/Export.hs /hets/OMDoc/Import.hs /hets/OWL2/CreateOWL.hs Server.hs /hets/Proofs/AbstractState.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/Local.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/VSE.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/Static/AnalysisStructured.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/ConsInclusions.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/FromXml.hs /hets/Static/FromXmlUtils.hs /hets/Static/GTheory.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs
be2b58b496a13ec3380fc6c0da28d8660c4f39f0 23-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

really exclude googlebot git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17230 cec4b9c1-7d33-0410-9eda-942365e851bb
86c1b41a968fde92972d40753dbbd13e0b25d85b 08-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

also use logic graph for pp.xml git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17143 cec4b9c1-7d33-0410-9eda-942365e851bb
734a5ebd38032798f0ab908e2d52862c71b2c127 07-Aug-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

changed output of autoProofAtNode from Maybe to ResultT IO git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17129 cec4b9c1-7d33-0410-9eda-942365e851bb
04c445e50a1d8b95e667595594e6b551c8b2ff59 07-Aug-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

provided button for automatic proofs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17124 cec4b9c1-7d33-0410-9eda-942365e851bb
562e30787355109feb0133ffea2ad86b6c143c26 06-Aug-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

minor restructuring git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17118 cec4b9c1-7d33-0410-9eda-942365e851bb
9a5e6e537c43a631facd9d87ce1a6c76f4b0af6d 06-Aug-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

cleaned up and hopefully shortened the code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17117 cec4b9c1-7d33-0410-9eda-942365e851bb
de8eee2014437ec4020be15cd363257f87e79943 06-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

refactored pretty printing for #1050 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17116 cec4b9c1-7d33-0410-9eda-942365e851bb
f6a562e28240e4f9107c199ba7a8e500ccfbfa55 06-Aug-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

corrected the response for global translations/provers request git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17115 cec4b9c1-7d33-0410-9eda-942365e851bb
10eaa95e20c860acbfbecd6cf07e3ae0bf7b55cb 05-Aug-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

added functionality to request a dgraph-wide list of supported provers/comorphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17113 cec4b9c1-7d33-0410-9eda-942365e851bb
142fd5dd7fcfa170f08b2a0ab232859428f6e3c2 03-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

replaced readProcessWithCode by executeProcess git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17099 cec4b9c1-7d33-0410-9eda-942365e851bb
2e2559f894aaa661b199e4fa00609f522bc5482a 31-Jul-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

applied hlint suggestions and scan git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17086 cec4b9c1-7d33-0410-9eda-942365e851bb
62ac452a0e822c60ffa6ceee106aae6cfb6a651b 31-Jul-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

changed parseRESTfull in a way that it does not incorporate Query.anaNodeQuery anymore (making it more independent for the future) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17085 cec4b9c1-7d33-0410-9eda-942365e851bb
e6c31a14c3fe6eb0eb93f376f2224f4023315e55 31-Jul-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

built in functionality for automatic proofs via web interface. however, it cannot be reached jet since no link for it exists git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17084 cec4b9c1-7d33-0410-9eda-942365e851bb
7be1485dfcaa5decb3586d194ff4b2443668e349 31-Jul-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

check if dot is installed and throw error message otherwise git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17083 cec4b9c1-7d33-0410-9eda-942365e851bb
1ab66a7e4234c760be9689b05ab4c34ce99dba23 31-Jul-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

the routines for parsing a RESTfull request have been moved outside the hetsServer method in order to regain a bit of readability git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17081 cec4b9c1-7d33-0410-9eda-942365e851bb
c550fe9803ed900e56513fe3976bf9f8d914db29 04-Jul-2012 Christian Maeder <Christian.Maeder@dfki.de>

inserted liftRun git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17006 cec4b9c1-7d33-0410-9eda-942365e851bb
05c714be15ce094d83f1b989cdf5236be78419bf 04-Jul-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

added implementation of the RESTfull responses for PUT methods git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17005 cec4b9c1-7d33-0410-9eda-942365e851bb
85dc3ed8b5c13ad460fe264fce58e9902cc370bb 28-Jun-2012 Christian Maeder <Christian.Maeder@dfki.de>

make it work for the new server git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16984 cec4b9c1-7d33-0410-9eda-942365e851bb
1ac35fb048b32372d5e29ec5d230c50ec35d32a2 27-Jun-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

added branch for POST libraries (..) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16982 cec4b9c1-7d33-0410-9eda-942365e851bb
23ee432f8fe96e07f2523ca7c4bda9bcce1ea6f0 27-Jun-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

update svg graph when a global command was issued git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16981 cec4b9c1-7d33-0410-9eda-942365e851bb
2e76bbbed1c936bb0aee1753837e1c50416847a2 27-Jun-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

restructuring and minor changes (e.g. return to theory button for prove result view) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16980 cec4b9c1-7d33-0410-9eda-942365e851bb
cc9f19b1fe81424205736fe0ae73620395b1bb74 20-Jun-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

RESTFull response to GET-methods is almost fully implemented git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16954 cec4b9c1-7d33-0410-9eda-942365e851bb
314cc5ee2d787fc650e9c7882d88df051c967a10 20-Jun-2012 Christian Maeder <Christian.Maeder@dfki.de>

removed PUT line git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16953 cec4b9c1-7d33-0410-9eda-942365e851bb
7463a1bf64cfa90917e2afb6a5017ec411d2b3db 20-Jun-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

modified server.hs to gain better interfaces for RESTFull queries. sorry for the mess git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16952 cec4b9c1-7d33-0410-9eda-942365e851bb
736fe640b202e3fe7288fad8251d5b210c5d8d87 11-Jun-2012 Christian Maeder <Christian.Maeder@dfki.de>

avoid clash with RequestMethod fro PGIP.Query git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16893 cec4b9c1-7d33-0410-9eda-942365e851bb
7f81535ccbe97ecc332b8c03d6c137b92e4ac4aa 10-Jun-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

provides an entry point for implementation of the RESTfullInterface. Request-path and query are checked for appliance with RESTfullInterface and are passed on to old methods otherwise. NOTE: there is no implementation done for when a RESTfull request is at hand, yet git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16892 cec4b9c1-7d33-0410-9eda-942365e851bb
f50c9f317ed743022255535248028675a5716d2a 06-Jun-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

just killed a line of code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16860 cec4b9c1-7d33-0410-9eda-942365e851bb
2bb4812d3aeb7a610e6f3384b0676dcb36f94f1e 06-Jun-2012 Christian Maeder <Christian.Maeder@dfki.de>

moved pathBits to anaUri git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16858 cec4b9c1-7d33-0410-9eda-942365e851bb
486db0a875bcdd0b80cf0d447d14c9c00a92ae94 25-Apr-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

show all dgsymbols as xml for symbols-link git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16832 cec4b9c1-7d33-0410-9eda-942365e851bb
e80bbb632bd22010c079852e652d843a15bb133d 25-Apr-2012 Christian Maeder <Christian.Maeder@dfki.de>

add a format for all symbols for all nodes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16831 cec4b9c1-7d33-0410-9eda-942365e851bb
232c13ff6847a6f2bac7163392f80ab692cd7774 25-Apr-2012 Christian Maeder <Christian.Maeder@dfki.de>

also extract path bits and allow warp-1.2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16830 cec4b9c1-7d33-0410-9eda-942365e851bb
5bc13d306a927f416550a0ce8e59144b83520f14 25-Apr-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

when clicking on a node to get to theory view, keep the session id in the url git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16829 cec4b9c1-7d33-0410-9eda-942365e851bb
029d127079d24fa541e0bbba0133bc273268dd4e 25-Apr-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

svg graph will be displayed on default alongside the global commands git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16827 cec4b9c1-7d33-0410-9eda-942365e851bb
37c793236d73cd400bb268672e0d0f7f97a89a70 25-Apr-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

implements return button to go back to main dg window keeping the session number git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16825 cec4b9c1-7d33-0410-9eda-942365e851bb
2b1abe6d680bc23b703f7ffbf6d214be15aa9f1f 25-Apr-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

turns off display of proving options if there's nothing to prove git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16824 cec4b9c1-7d33-0410-9eda-942365e851bb
d5a6311a0badccb57c915d3f7d0657615338e12c 24-Apr-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

moved code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16819 cec4b9c1-7d33-0410-9eda-942365e851bb
92b34c379207fb8752258be174cb8ef4162dc865 24-Apr-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

added link to provers and translations xml view from node-theory view git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16818 cec4b9c1-7d33-0410-9eda-942365e851bb
de04c8b0fb11f38a905bdb08a6156f5aa6dc3169 13-Apr-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

slightly changed nodes theory view git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16803 cec4b9c1-7d33-0410-9eda-942365e851bb
044cbcc9aa4f4339ff5216fc517b242f7132b8d7 13-Apr-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

show detailed theorem view with theory proving window git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16802 cec4b9c1-7d33-0410-9eda-942365e851bb
7cb31cb2104c666b2762976f7ed86da10575a980 13-Apr-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

style definition for results window git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16800 cec4b9c1-7d33-0410-9eda-942365e851bb
b99c9606f2faafeabb3fa8c596992143a561c787 22-Mar-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

added display of GoalStatus and button to select all unproven goals git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16741 cec4b9c1-7d33-0410-9eda-942365e851bb
e805192b74403d3f6e9f79f5059062b020919f04 22-Mar-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

set all illegal timeout input (chars, below 1) to 1 bevor proving git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16738 cec4b9c1-7d33-0410-9eda-942365e851bb
3b438b74e3a85ef966844cba760cc7064a610fa8 19-Mar-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

started formatting the proveresult-xml-output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16737 cec4b9c1-7d33-0410-9eda-942365e851bb
be1ce1c2b2819ef32743136c13101f1927375311 19-Mar-2012 Christian Maeder <Christian.Maeder@dfki.de>

use plain showGlobalDoc code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16736 cec4b9c1-7d33-0410-9eda-942365e851bb
bb9642ff292545658dc11251b83a7b7af3c1fccb 19-Mar-2012 Christian Maeder <Christian.Maeder@dfki.de>

add direct imports #1012 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16735 cec4b9c1-7d33-0410-9eda-942365e851bb
961978c71545e0177683279f8b63358b3e3804b8 12-Mar-2012 Christian Maeder <Christian.Maeder@dfki.de>

#1007 for CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16718 cec4b9c1-7d33-0410-9eda-942365e851bb
679aeef257123e594df0769b43ac12fe98854a54 12-Mar-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

minor refactoring of jvscript part git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16717 cec4b9c1-7d33-0410-9eda-942365e851bb
98530a5430d24712d3d75213f8e21b6b0421770e 12-Mar-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

keep selected comorphism when switching provers, if possible git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16716 cec4b9c1-7d33-0410-9eda-942365e851bb
dae8246f1f55b6a85e946fc1bfb6d32d556395f1 12-Mar-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

keep orig sorting of comorphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16714 cec4b9c1-7d33-0410-9eda-942365e851bb
1d9f6367edb63ed200de3cfefd144314d5c9c942 12-Mar-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

added timeout selection field (still ugly) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16711 cec4b9c1-7d33-0410-9eda-942365e851bb
9d46cd96eb5f63953a7608635e9cc2d22506e5d7 09-Mar-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

fixed usage of selected comorphism in query string git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16699 cec4b9c1-7d33-0410-9eda-942365e851bb
b3dd264335ac4acf040cc7b71dbff108945e019c 09-Mar-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

auto-select fit comorphism for provers, and auto-select SPASS on pageload git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16698 cec4b9c1-7d33-0410-9eda-942365e851bb
98fb0b2bb596c5af3ef20eb9dc063871cc03ee03 09-Mar-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

reformatted javascript strings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16697 cec4b9c1-7d33-0410-9eda-942365e851bb
0f3c9fa687758f7282fd74539600c580ac165594 06-Mar-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

adds comorphism selection box for node theory view. (will screw up the so-far working theorem proving until comorphism is properly read from the query string) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16686 cec4b9c1-7d33-0410-9eda-942365e851bb
f3fb0e085030be5bc309d946a6a9c20736dd3e0f 28-Feb-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

made select-all/none buttons usable git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16682 cec4b9c1-7d33-0410-9eda-942365e851bb
116efc752fbf094a464c4f4940d9a450ab41c6c9 27-Feb-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

corrected en/decoding for theorems. also worked on selAll/None buttons (using javascript), but they don't work jet.. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16681 cec4b9c1-7d33-0410-9eda-942365e851bb
257857407d283f3f706b032027edb5e3a6839cff 25-Feb-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

in showGlobalTh, a get method is used instead of post in order to have all selected input within the query string git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16680 cec4b9c1-7d33-0410-9eda-942365e851bb
8127e2d55f21da8085b6ec9a33ced71f18d725b0 23-Feb-2012 Christian Maeder <Christian.Maeder@dfki.de>

handle prove post request git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16677 cec4b9c1-7d33-0410-9eda-942365e851bb
f718a463ba829a58fe6dfd7772b9c5717b040f3c 23-Feb-2012 Christian Maeder <Christian.Maeder@dfki.de>

tried to read prove request git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16676 cec4b9c1-7d33-0410-9eda-942365e851bb
5a448e9be8c4482a978b174b744237757335140f 22-Feb-2012 Christian Maeder <Christian.Maeder@dfki.de>

switched to utf8 default encoding git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16672 cec4b9c1-7d33-0410-9eda-942365e851bb
92ae4d5885ea837ffe3dae9b2de742f871229b94 22-Feb-2012 Christian Maeder <Christian.Maeder@dfki.de>

added button to show symbols #999 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16669 cec4b9c1-7d33-0410-9eda-942365e851bb
cadf4e07b8f825b4e30475483dfbccd7620bd214 20-Feb-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16666 cec4b9c1-7d33-0410-9eda-942365e851bb
993e01fc242fa58d3dcf1b3272cd411726817eee 16-Feb-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

worked on html-style view of node-theory (just the looks, no functionalities) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16661 cec4b9c1-7d33-0410-9eda-942365e851bb
74c68a258f5ac9ee85554e2d15aea735a39de957 02-Feb-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

improved html-view of nodes signature elements git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16648 cec4b9c1-7d33-0410-9eda-942365e851bb
86acceed922b3079355e5aced742709ec790aab3 30-Jan-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

basic html-style view for nodes local and global theory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16641 cec4b9c1-7d33-0410-9eda-942365e851bb
c99b0eb6632087d502dd4269599c5aa68a148eeb 28-Jan-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

w.i.p. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16640 cec4b9c1-7d33-0410-9eda-942365e851bb
0b681bbb85555c5985c5c5a4653c1e420e9f0b6f 23-Jan-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

xhtml compatible solution for newline (empty text block) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16623 cec4b9c1-7d33-0410-9eda-942365e851bb
844c7d2ec3917393e139e53503757098d568713e 23-Jan-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

first steps towards html display of node information. incorporates ToXml.lnode to gather information. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16617 cec4b9c1-7d33-0410-9eda-942365e851bb
3036e860d4b58913e4ac7a5b90583fa4390d1584 14-Jan-2012 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

slightly improved readability by adding and calling explicit functions to create italic, bold, plain and list entries git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16588 cec4b9c1-7d33-0410-9eda-942365e851bb
63ec46a77d00127c46ec526df43da8d701c30c65 09-Jan-2012 Christian Maeder <Christian.Maeder@dfki.de>

re-create directory in case it was deleted git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16584 cec4b9c1-7d33-0410-9eda-942365e851bb
9bcf1494c01dd2ac6286859bfadcec57e57e417e 06-Dec-2011 Christian Maeder <Christian.Maeder@dfki.de>

added escaping of special characters git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16523 cec4b9c1-7d33-0410-9eda-942365e851bb
5a0b5a7eb92c3dc61b89351bab6716e9f2b28e49 05-Dec-2011 Christian Maeder <Christian.Maeder@dfki.de>

try without decode plus git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16513 cec4b9c1-7d33-0410-9eda-942365e851bb
2f0ca8050a33fbc1a23c0bd2dec0d09c17e3c548 16-Nov-2011 Christian Maeder <Christian.Maeder@dfki.de>

refactored to use query pairs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16455 cec4b9c1-7d33-0410-9eda-942365e851bb
262a0a50e5f72336445bee69630a964660cc8622 15-Nov-2011 Christian Maeder <Christian.Maeder@dfki.de>

exclude some bots git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16447 cec4b9c1-7d33-0410-9eda-942365e851bb
47cb8fe2b593e2747fdf6ae4e5fb8c2530e84a8c 10-Nov-2011 Christian Maeder <Christian.Maeder@dfki.de>

refactored git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16441 cec4b9c1-7d33-0410-9eda-942365e851bb
4b6770a0c1c1c6f0bc3e41fbb757570112ac3312 10-Nov-2011 Christian Maeder <Christian.Maeder@dfki.de>

percent encode + git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16440 cec4b9c1-7d33-0410-9eda-942365e851bb
eae0d62755147d991cc3e903f74f98ac31a7cd42 10-Nov-2011 Christian Maeder <Christian.Maeder@dfki.de>

re-add support for the old simple server git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16439 cec4b9c1-7d33-0410-9eda-942365e851bb
99b26e2ab8ba89bc9a050c1524137eb6269e2753 09-Nov-2011 Christian Maeder <Christian.Maeder@dfki.de>

switched to warp server git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16430 cec4b9c1-7d33-0410-9eda-942365e851bb
8ca6b0820806f62042d84a1fff11599db55591c4 27-Sep-2011 Christian Maeder <Christian.Maeder@dfki.de>

also adjust lib name git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16194 cec4b9c1-7d33-0410-9eda-942365e851bb
b7af683d179f4e5bf09b60a97ab0b2ed298b97eb 27-Sep-2011 Christian Maeder <Christian.Maeder@dfki.de>

switched to new xupdate analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16189 cec4b9c1-7d33-0410-9eda-942365e851bb
833d97d43e5f22c70c8abd79d344bc93a8ded319 27-Sep-2011 Christian Maeder <Christian.Maeder@dfki.de>

extended pretty printing functions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16183 cec4b9c1-7d33-0410-9eda-942365e851bb
1fac5c1cbbeac0c3b506437e7be4183809943af2 14-Sep-2011 Christian Maeder <Christian.Maeder@dfki.de>

use global or local theory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16128 cec4b9c1-7d33-0410-9eda-942365e851bb
c208973c890b8f993297720fd0247bc7481d4304 05-Aug-2011 Christian Maeder <Christian.Maeder@dfki.de>

splitted off plain data types for dev-graphs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15905 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CMDL/ConsCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/Utils.hs /hets/Framework/Analysis.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/ShowRefTree.hs /hets/Haskell/Haskell2DG.hs /hets/HolLight/HolLight2DG.hs /hets/Interfaces/Utils.hs /hets/LF/Twelf2DG.hs /hets/Makefile /hets/Maude/Maude2DG.hs /hets/OMDoc/Export.hs /hets/OMDoc/Import.hs /hets/OWL/OWLAnalysis.hs /hets/OWL/StructureAnalysis.hs Query.hs Server.hs /hets/Proofs/Automatic.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/TriangleCons.hs /hets/Proofs/VSE.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ComputeTheory.hs /hets/Static/ConsInclusions.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/FromXmlUpdates.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/ToXml.hs /hets/Static/XGraph.hs
59fa2ed5a4936e7e56f7164d8a274df68dd4160c 06-Jun-2011 Simon Ulbricht <tekknix@informatik.uni-bremen.de>

changed signature of readDGXmlR so that an initial LibEnv can be passed along git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15067 cec4b9c1-7d33-0410-9eda-942365e851bb
d864f0a0e04e61b5f87963496765eafcf646ed7b 01-Jun-2011 Christian Maeder <Christian.Maeder@dfki.de>

output lib-name in dg-xml git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15049 cec4b9c1-7d33-0410-9eda-942365e851bb
846ef0914b29a4806ca0444c116fd3cf267c4fb7 12-Apr-2011 Christian Maeder <Christian.Maeder@dfki.de>

changed top-level function git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14900 cec4b9c1-7d33-0410-9eda-942365e851bb
ef1c24c8229ade3ac872febebd18c181e32fb9c4 08-Apr-2011 Christian Maeder <Christian.Maeder@dfki.de>

added session info and treated DgXml git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14883 cec4b9c1-7d33-0410-9eda-942365e851bb
5dd895cd3d794ecd2f0035ee3a7b6d6bf2eac5ef 05-Apr-2011 Christian Maeder <Christian.Maeder@dfki.de>

store remote host and headers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14848 cec4b9c1-7d33-0410-9eda-942365e851bb
3f08b178a44369b618a5e0b5f1fc2207fe043aab 05-Apr-2011 Christian Maeder <Christian.Maeder@dfki.de>

made pdf creation more robust git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14847 cec4b9c1-7d33-0410-9eda-942365e851bb
b42068590e8595da515587570153bc4e00a2902b 29-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

made url absolute git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14826 cec4b9c1-7d33-0410-9eda-942365e851bb
4d54e7814b18ce142359c92a5868e6dcff9219b5 17-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

added urls to dot graphs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14728 cec4b9c1-7d33-0410-9eda-942365e851bb
bd90cf050d470eb42f6e0b79327cc53bd0f80dc9 14-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

added separate pdf format git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14710 cec4b9c1-7d33-0410-9eda-942365e851bb
d96bfd1d7a4595bfff87771b91797330fa939455 11-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

use relative positions within the hets server git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14703 cec4b9c1-7d33-0410-9eda-942365e851bb
7a3e20d1b7fe1b0e47c0b9138716b0bbc8ecf1f6 11-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

cleaned up node attribute git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14702 cec4b9c1-7d33-0410-9eda-942365e851bb
9d50556254571c0811e94b4d948463754812a5aa 11-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

checked for available provers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14701 cec4b9c1-7d33-0410-9eda-942365e851bb
90f0ed9623257ce66c88c174acfe77fdfa7785e6 10-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

added textarea and directly analysed content git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14693 cec4b9c1-7d33-0410-9eda-942365e851bb
e602cc16001f72531b346df4e683b47f8c782f2d 24-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

computed subsumed theorems (proven by identical axioms) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14615 cec4b9c1-7d33-0410-9eda-942365e851bb
c30be06a00dca8796bc38d51edf68b9e58dd0fe9 24-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

made coding query string more robust git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14614 cec4b9c1-7d33-0410-9eda-942365e851bb
3e87e1dc85fa76cc6eaeb8eafbc0bea77af939f4 21-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

produce pdf from latex in hets server git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14598 cec4b9c1-7d33-0410-9eda-942365e851bb
ea5ccb1c6e89486a54e1f4bd95840147e96093ed 21-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

added pp output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14596 cec4b9c1-7d33-0410-9eda-942365e851bb
c6aea5e8f37352e8046293533a5e8bb26f4bca02 14-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

set proper title git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14530 cec4b9c1-7d33-0410-9eda-942365e851bb
be9d4ffdd00c0665f9c25a4a905b0a0bf0c90bbf 14-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

used isNat test before calling read git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14527 cec4b9c1-7d33-0410-9eda-942365e851bb
f675b8f0a612e37472640da57b48d795bef4427e 11-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

enrich svg output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14523 cec4b9c1-7d33-0410-9eda-942365e851bb
80dbf8e83062d9eaff0b100d3bac961e1006903f 03-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

remove testing code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14475 cec4b9c1-7d33-0410-9eda-942365e851bb
e54f3a66901217c9cf6313dc3579b6ad28f548f8 02-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

recompute global theories after updates git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14471 cec4b9c1-7d33-0410-9eda-942365e851bb
d2111c9d2eb254b2a5ab71b27a6a07f1e353aec7 01-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

display proven goal and use SPASS if possible git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14461 cec4b9c1-7d33-0410-9eda-942365e851bb
74ce8ed78c62ad2b1ec30fa9292c6589e2b4d171 31-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

list theorems in query string git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14454 cec4b9c1-7d33-0410-9eda-942365e851bb
65c8e8b1cf766534fa0c9aec33e538dc3894ea13 31-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

allow to set selected goals git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14453 cec4b9c1-7d33-0410-9eda-942365e851bb
cdae1f4c0c6e32f5463a7ce9986600e27f8ac253 21-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

first and wrong attempt to treat selected theorems git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14413 cec4b9c1-7d33-0410-9eda-942365e851bb
8f021fe6b83359551eaf6ff82d02fe8c3d7fed5d 20-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

remove more funny chars git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14391 cec4b9c1-7d33-0410-9eda-942365e851bb
aed438ce70de05d86d51932a078d829a3f6be5c2 14-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

return prover results git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14382 cec4b9c1-7d33-0410-9eda-942365e851bb
5727dbcb926ede2e7b05f43685476ce656ce01e4 12-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

allow to select nodes by name git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14375 cec4b9c1-7d33-0410-9eda-942365e851bb
8dfcec5538467723b1cf9d1651de7c9c89fe4aab 11-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

added prover call git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14370 cec4b9c1-7d33-0410-9eda-942365e851bb
65f32942e29aea5c03f78d72851a8cb5d9f56bb3 11-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

allow timeout in queries git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14367 cec4b9c1-7d33-0410-9eda-942365e851bb
569b102de9c99536086f4c2ec60a5599604d9e8a 11-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

avoid funny characters in prover and comorphism names git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14366 cec4b9c1-7d33-0410-9eda-942365e851bb
473f5af6e4803fbeecc814065952396f2501039b 11-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

show provers and abbreviated comorphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14365 cec4b9c1-7d33-0410-9eda-942365e851bb
1add44b8c31aa6014f89dbfe743f01a88542c761 11-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

use showGlobalDoc for showing theories git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14364 cec4b9c1-7d33-0410-9eda-942365e851bb
43d8d7472d3a0a78d9a2c85122815a81deb8689a 07-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

better check prover queries git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14348 cec4b9c1-7d33-0410-9eda-942365e851bb
5506825574abaefd5556d45ed84f22e755249823 07-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

extended prover queries git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14347 cec4b9c1-7d33-0410-9eda-942365e851bb
410e197a44a0d162c81cc4cadaa2cb39918adb44 07-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

prepared prover queries git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14346 cec4b9c1-7d33-0410-9eda-942365e851bb
7c661ba558707feaa5d8a299365c2191e1afabb2 05-Jan-2011 Christian Maeder <Christian.Maeder@dfki.de>

allow single updates and impacts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14342 cec4b9c1-7d33-0410-9eda-942365e851bb
a43c1a7fa08c12524415386aa13a566cc9e53a4f 03-Dec-2010 Christian Maeder <Christian.Maeder@dfki.de>

add filepath to xml output #887 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14284 cec4b9c1-7d33-0410-9eda-942365e851bb
0bbc28585c7d42913167ff78a862ef25ea59e85e 03-Dec-2010 Christian Maeder <Christian.Maeder@dfki.de>

added menus command git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14283 cec4b9c1-7d33-0410-9eda-942365e851bb
a150c2c1cf35ba98a6dda2163c96bca7c6453025 03-Dec-2010 Christian Maeder <Christian.Maeder@dfki.de>

allow to upload xupdates git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14282 cec4b9c1-7d33-0410-9eda-942365e851bb
5bedf8c26d27eac08962c78379bcb2e5cb529036 02-Dec-2010 Christian Maeder <Christian.Maeder@dfki.de>

support for an update command git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14281 cec4b9c1-7d33-0410-9eda-942365e851bb
acd9ca9d8e79b7d7ba8227631afbcf839f0c4a5e 01-Dec-2010 Christian Maeder <Christian.Maeder@dfki.de>

only take the base name for uploads git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14277 cec4b9c1-7d33-0410-9eda-942365e851bb
990cfa5c6abdd4d093cea540c34bb5522bf540d2 25-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

add dot output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14269 cec4b9c1-7d33-0410-9eda-942365e851bb
a07a6a1143844a6f061a49aefc550e3bdd28f331 24-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

added session git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14267 cec4b9c1-7d33-0410-9eda-942365e851bb
5896f38ba2934056542cb7cb3e6359e88a622547 23-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

added random session keys git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14266 cec4b9c1-7d33-0410-9eda-942365e851bb
5fb6343a5a2b4bbc67bc83479c84a92d23d30edf 08-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

rearranged session display git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14203 cec4b9c1-7d33-0410-9eda-942365e851bb
584a14bf82bb60d8ffca9b45967c512d80369606 05-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

display more graph infos git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14202 cec4b9c1-7d33-0410-9eda-942365e851bb
b0bf54186358372d2be6a95e36ed3ef5fd64b7a3 05-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

support all global commands git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14201 cec4b9c1-7d33-0410-9eda-942365e851bb
d746dda8407e83621a309fe67b1378d6f1cc3312 05-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

prepare for more global commands git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14200 cec4b9c1-7d33-0410-9eda-942365e851bb
18548c6cc2dff13bf9f5f08b3f6cde6ca914df1d 05-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

refactored by using a query type git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14199 cec4b9c1-7d33-0410-9eda-942365e851bb
a4ead69b4f9c601989b4c20fbe50bde93231a159 03-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

rearranged session answer git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14192 cec4b9c1-7d33-0410-9eda-942365e851bb
fd94a6f66ccb5cef99aa42069b61e4b8734dbd3f 02-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

inserted global commands git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14190 cec4b9c1-7d33-0410-9eda-942365e851bb
19ee4b7a88b9d410cb73bd81f7289410c71557c1 02-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

add library name to page display git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14189 cec4b9c1-7d33-0410-9eda-942365e851bb
4ed68712ee368cbebfeaa327968583cb022e3c72 02-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

make graphs accessible by unique numbers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14188 cec4b9c1-7d33-0410-9eda-942365e851bb
6a6689ad6d4c70af2ce3389f39a50982f20fd939 29-Oct-2010 Christian Maeder <Christian.Maeder@dfki.de>

start session management git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14176 cec4b9c1-7d33-0410-9eda-942365e851bb
c1bca76471ad22ac47f05b03576974762d364339 13-Oct-2010 Christian Maeder <Christian.Maeder@dfki.de>

check for empty file name git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14144 cec4b9c1-7d33-0410-9eda-942365e851bb
31a81edf1285dc338211bfe86ba50a1f4128d9d2 12-Oct-2010 Christian Maeder <Christian.Maeder@dfki.de>

added download button git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14135 cec4b9c1-7d33-0410-9eda-942365e851bb
a7cb01ac1824bde5bdc997c8e294a1ed821dd21b 11-Oct-2010 Christian Maeder <Christian.Maeder@dfki.de>

avoid 'Stopped due to errors' crash on anaLibItem failure git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14130 cec4b9c1-7d33-0410-9eda-942365e851bb
187e09da24d6ed264eeeef48eb3fcc2b8663ca46 11-Oct-2010 Christian Maeder <Christian.Maeder@dfki.de>

corrected parent directory with a trailing slash git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14129 cec4b9c1-7d33-0410-9eda-942365e851bb
e84c877ad38ce9312eab222a79f44da2015572d2 08-Oct-2010 Christian Maeder <Christian.Maeder@dfki.de>

start handling post request git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14128 cec4b9c1-7d33-0410-9eda-942365e851bb
945e82ed7877917f3ab1657f555e71991372546a 08-Oct-2010 Christian Maeder <Christian.Maeder@dfki.de>

added edge and node display git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14127 cec4b9c1-7d33-0410-9eda-942365e851bb
df67ddf64192bfcae6ece65255ad796a17cbe532 08-Oct-2010 Christian Maeder <Christian.Maeder@dfki.de>

refactored git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14124 cec4b9c1-7d33-0410-9eda-942365e851bb
b579e1a98aa30fb6093cbbdfeae51edbd5ba26ad 08-Oct-2010 Christian Maeder <Christian.Maeder@dfki.de>

added parent directory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14123 cec4b9c1-7d33-0410-9eda-942365e851bb
d97700a22b2585ece83b05f3fff945fdfd0c44b4 07-Oct-2010 Christian Maeder <Christian.Maeder@dfki.de>

support query xml and dg git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14116 cec4b9c1-7d33-0410-9eda-942365e851bb
f0221ee7b9f8660e7c7add896e151f7a4ac8b4ad 07-Oct-2010 Christian Maeder <Christian.Maeder@dfki.de>

added query types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14115 cec4b9c1-7d33-0410-9eda-942365e851bb
7710f7c3425e45af11af124ff37bec27229d24f7 07-Oct-2010 Christian Maeder <Christian.Maeder@dfki.de>

cleaned up web output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14113 cec4b9c1-7d33-0410-9eda-942365e851bb
526e7f36639cb58e3c99a54bea082499a6b04a25 06-Oct-2010 Christian Maeder <Christian.Maeder@dfki.de>

added directory navigation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14109 cec4b9c1-7d33-0410-9eda-942365e851bb
9b3aefff51492156e8e7f7f6a57986dac35a55fc 22-Sep-2010 Christian Maeder <Christian.Maeder@dfki.de>

adjusted dot output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14089 cec4b9c1-7d33-0410-9eda-942365e851bb
275698320a734a6fd647ea6a461d6ce38862da1d 22-Sep-2010 Christian Maeder <Christian.Maeder@dfki.de>

show the current dot graph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14088 cec4b9c1-7d33-0410-9eda-942365e851bb
d27b1887e61f1dc53d77c37f59dbf5019242a686 22-Sep-2010 Christian Maeder <Christian.Maeder@dfki.de>

added testing server git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14087 cec4b9c1-7d33-0410-9eda-942365e851bb