History log of /hets/Hets.cabal
Revision Date Author Comments Expand
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

CSMOF/ParseXmiAsLibDefn.hs Common/Utils.hs Driver/Options.hs Driver/ReadFn.hs Driver/ReadLibDefn.hs Driver/WriteFn.hs Driver/WriteLibDefn.hs GUI/GtkProverGUI.hs Hets.cabal Interfaces/Utils.hs OWL2/ParseOWL.hs OWL2/ParseOWLAsLibDefn.hs OWL2/Taxonomy.hs PGIP/GraphQL.hs PGIP/GraphQL/Resolver.hs PGIP/GraphQL/Resolver/DGraph.hs PGIP/GraphQL/Resolver/OMS.hs PGIP/GraphQL/Resolver/Serialization.hs PGIP/GraphQL/Resolver/Signature.hs PGIP/GraphQL/Resolver/SignatureMorphism.hs PGIP/GraphQL/Resolver/ToResult.hs PGIP/GraphQL/Result.hs PGIP/GraphQL/Result/Axiom.hs PGIP/GraphQL/Result/Conjecture.hs PGIP/GraphQL/Result/ConservativityStatus.hs PGIP/GraphQL/Result/DGraph.hs PGIP/GraphQL/Result/DocumentLink.hs PGIP/GraphQL/Result/FileRange.hs PGIP/GraphQL/Result/IdReference.hs PGIP/GraphQL/Result/Language.hs PGIP/GraphQL/Result/LanguageMapping.hs PGIP/GraphQL/Result/Library.hs PGIP/GraphQL/Result/LocIdReference.hs PGIP/GraphQL/Result/Logic.hs PGIP/GraphQL/Result/LogicMapping.hs PGIP/GraphQL/Result/Mapping.hs PGIP/GraphQL/Result/NativeDocument.hs PGIP/GraphQL/Result/OMS.hs PGIP/GraphQL/Result/OMSSimple.hs PGIP/GraphQL/Result/PremiseSelection.hs PGIP/GraphQL/Result/Reasoner.hs PGIP/GraphQL/Result/ReasonerConfiguration.hs PGIP/GraphQL/Result/ReasonerOutput.hs PGIP/GraphQL/Result/ReasoningAttempt.hs PGIP/GraphQL/Result/Sentence.hs PGIP/GraphQL/Result/Serialization.hs PGIP/GraphQL/Result/Signature.hs PGIP/GraphQL/Result/SignatureMorphism.hs PGIP/GraphQL/Result/StringReference.hs PGIP/GraphQL/Result/Symbol.hs PGIP/GraphQL/Result/SymbolMapping.hs PGIP/GraphQL/exampleQueries/dgraph.graphql PGIP/GraphQL/exampleQueries/oms.graphql PGIP/GraphQL/exampleQueries/serialization.graphql PGIP/GraphQL/exampleQueries/signature.graphql PGIP/GraphQL/exampleQueries/signatureMorphism.graphql PGIP/Server.hs PGIP/Shared.hs Persistence/DevGraph.hs Persistence/Schema.hs Persistence/Utils.hs QVTR/ParseQvtAsLibDefn.hs Static/AnalysisLibrary.hs stack.yaml
1a879e0f576d139dcd52e6d8ec958b4a3c169846 07-Feb-2018 Jens Elkner <jel+git@iks.cs.uni-magdeburg.de>

make mysql support optional
005603425396f16a79d0443c251649cd505909f8 05-Feb-2018 Jens Elkner <jel+git@iks.cs.uni-magdeburg.de>

use wget if haskell-http-client modules is too old or unavailable
9d63e3d6c1c65ab10d1459b9f59a134161acc1d7 29-Jan-2018 Eugen Kuksa <kuksa.eugen@gmail.com>

Remove Persistent-fork and use Esqueleto (#1827) * Remove depencency: Custom fork of persistent. * Use Esqueleto for SQL SELECT statements.
a389e88e0acb83d8489bdc5e55bc5522b152bbec 05-Jan-2018 Eugen Kuksa <kuksa.eugen@gmail.com>

[WIP] 1691 dg calculus on database (#1752) * Add database dependencies. * first experimental version of DB interface - just store DG names * also write dg nodes to db * hints for further programming * Connect to PostgreSQL databases using a Rails database.yml. * Move the schema to an own module. * mapping of Hets datatypes to DB * more explanation on index maps * Save the LogicGraph and Development Graph in the database. * Add config option for DB file. * Move dbConfig into HetcatsOpts, move migrations into onDatabase. * Save errors to the database. * Associate the data with a given file version. * Fix saving independent documents, non-signature symbols and remove debug prints. * Remove theoryMap from DBCache. * Fix names of Loc/Ids. * Drop unneeded database columns. * Save SignatureMorphisms and SymbolMappings. Major refactoring in Persistence.DevGraph. * Handle Library and NativeDocument properly. * Rename Range to FileRange because of constraints in Ontohub. * Use PostgreSQL Enums. * Rename Warning to Warn because of constraints in Ontohub. * Use proper location as Loc/Id. * Include persistent-fork into Hets repository as a git submodule. * Find the FileVersion of an import and save the Document accordingly. * Add advisoryLocked function. * Ignore the _dependencies directory. * Only save a Document if it does not yet exist. * Lock language migration and document saving. * Use mutex, write logic graph in ins own command Write logic graph: Since both commands, DG analysis and LG output need to write Logics to the database, we need the same mutex kex for these two tasks. This splits the LG output into its own command to allow for multiple processes to write analysis data at once. * Get the submodule via https. * Add readme for the persistence layer. * Fix findFileVersion function. * Fix export warning. * Find a FileVersion at the current commit instead of the previous version. * Make the symbolKind part of a symbol's Loc/Id. * Make concatMapM more generic. * Correctly associate symbols along heterogeneous links. * Set evaluationState of FileVersion. * Allow to omit the --database-fileversion-id option. * Simplify the travis configuration. * Add database job to travis. * Find FileVersion of the last change. * Fix dependency relation order. * Add MySQL support. * Add restack target to Makefile. * Add option to disallow migrations That means, PostgreSQL can be used without Ontohub. * Remove unused import. * Update Stack release and use persistent-template of the fork. * Make the existing columns in the schema MySQL compatible. * Work-around migration errors caused by class table inheritance. * Use PostgreSQL and MySQL in travis. * Use better job labels in Travis. * Possibly fix travis. * Add SQLite to Travis. * Add installation instructions. * Add DGVerificationGeneric constructor. * Rename ConsStatus to ConservativityStatus. * Add error handling. * Fix symbol's fullName. * Set Logic name to Language Name when there is no Logic name. * Do not print migrations. * Fix key length for MySQL. * Add namespace to Loc/Ids. * Add option for re-analysis. * Add a testfile. * Improve error messages. * Create the freeness parameter OMS. * Add failing testfiles. * Remove code duplication. * Temporarily remove failing test files - until #1655 and #1597 have been solved. * Try longer locId in MySQL. * Fix mapping type. * Add default implementation of symbolKind. * Add Indexes. * Quiet down PostgreSQL on CREATE INDEX IF NOT EXISTS. * Add PostgreSQL 9.6 to addons. * Allow Hets-database to run without ontohub. * Reduce column size for MySQL. * Move the database-specific dependencies into their own module. * Upgrade persistent (rebase on master). * Minimise the module exports on Database. * Upgrade stack.yml to new stack version. * Fix SQLite module. * WIP: Try System.Plugins. * Remove System.Plugins again. * Deactivate MySQL. * Remove System.Plugins from the dependencies. * Finalise db_mapping.txt * Update readme. * Don't use PostgreSQL for hets-desktop. * Use hets_server in Travis/PostgreSQL job. * Add PostgreSQL as a dependency to the server package. * Update some documentation. * Fix runtime dependencies. * Describe main db options in the UserGuide. * Add libpq5 to debian dependencies. * Clean the database.yml files and link them from the UserGuide.

.gitignore .gitmodules .travis.yml Common/LibName.hs Common/Utils.hs Driver/Options.hs Driver/ReadFn.hs Driver/WriteFn.hs Hets.cabal Makefile Persistence/DBConfig.hs Persistence/Database.hs Persistence/DatabaseConnection.hs Persistence/DevGraph.hs Persistence/DevGraph/Cleaning.hs Persistence/Diagnosis.hs Persistence/FileVersion.hs Persistence/LogicGraph.hs Persistence/MySQL.hs Persistence/PostgreSQL.hs Persistence/Range.hs Persistence/Readme.md Persistence/SQLite.hs Persistence/Schema.hs Persistence/Schema/ConjectureKindType.hs Persistence/Schema/Enums.hs Persistence/Schema/EvaluationStateType.hs Persistence/Schema/MappingOrigin.hs Persistence/Schema/MappingType.hs Persistence/Schema/OMSOrigin.hs Persistence/Schema/ReasoningStatusOnConjectureType.hs Persistence/Schema/ReasoningStatusOnReasoningAttemptType.hs Persistence/Schema/SentenceKindType.hs Persistence/Utils.hs Persistence/database_mysql.yml Persistence/database_postgresql.yml Persistence/db_mapping.txt README.md Static/ToJson.hs _dependencies/persistent debian/control doc/UserGuide.tex stack.yaml test/hets-lib-database-check.sh test/hets-lib-database-reset.sh test/hets-lib-database-testfiles
8d11785bab797efec9c78e11c9c07e7a32b35e21 28-Nov-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Add SemanticUI to old web server.
55282ad62e8b6758abec43734ebde0015ac14b89 21-Nov-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Remove dependencies: wget, cat, tac, grep/ggrep (#1729) * Use http-client instead of wget. * Remove wget dependency. * Add option to disable certificate verification. * Call egrep instead of grep/ggrep. * Stop calling cat and tac. * Catch client and server errors.
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.

.gitignore Common/DebugParser.hs Common/FileType.hs Common/IRI.hs Common/Id.hs Common/Lexer.hs Common/Utils.hs CommonLogic/Lexer_CLIF.hs Comorphisms/LogicList.hs CspCASL/Parse_CspCASL_Process.hs Driver/Options.hs Driver/ReadFn.hs Driver/ReadLibDefn.hs Driver/WriteFn.hs Hets.cabal Logic/Logic.hs Makefile PGIP/Output/Proof.hs PGIP/Server.hs SoftFOL/DFGParser.hs Static/AnalysisStructured.hs Static/ToJson.hs Static/ToXml.hs TPTP/AS.der.hs TPTP/Common.hs TPTP/Documents/TPTPSyntax.html TPTP/Logic_TPTP.hs TPTP/Morphism.hs TPTP/Morphism/Sentence.hs TPTP/ParseAsLibDefn.hs TPTP/Parser.hs TPTP/Pretty.hs TPTP/Prover/CVC4.hs TPTP/Prover/Common.hs TPTP/Prover/Darwin.hs TPTP/Prover/EProver.hs TPTP/Prover/EProver/ProofParser.hs TPTP/Prover/Geo3.hs TPTP/Prover/Isabelle.hs TPTP/Prover/Leo2.hs TPTP/Prover/ProofParser.hs TPTP/Prover/ProverState.hs TPTP/Prover/SPASS.hs TPTP/Prover/SPASS/ProofParser.hs TPTP/Prover/Satallax.hs TPTP/Prover/Vampire.hs TPTP/Prover/Vampire/ProofParser.hs TPTP/Sign.hs TPTP/StaticAnalysis.hs TPTP/Sublogic.hs magic/hets.magic
0d1a6450d71025e9a872b298f366baad700d5e6f 08-Aug-2016 cmaeder <c.maeder@jacobs-university.de>

relax upper bounds
7723556f31fc6d525cb70e86587c4738435aab71 02-Nov-2015 cmaeder <c.maeder@jacobs-university.de>

removed programatica
cfabcf564c2f9d445654aab40dbcfe78d29e2b7b 21-Oct-2015 cmaeder <c.maeder@jacobs-university.de>

added missing dependency
9886383c246bc528994cdf8163fadc447649e2af 14-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

updated package versions
2f0b5b3ba809fa81a988424d7a4b557835218396 16-Sep-2014 cmaeder <cmaeder@users.noreply.github.com>

see if travis works with this change
2931efc8c2674a1d2adab29e79722708b4d47dae 19-Aug-2014 cmaeder <cmaeder@users.noreply.github.com>

adjusted deps for travis
77c824c1e75ccab4d8f034002a8310b0043c8a7d 06-Aug-2014 cmaeder <cmaeder@users.noreply.github.com>

use warp3 packages
db7ffae049fa959fa1cf5c21185560c9f2dc2214 18-Jul-2014 cmaeder <cmaeder@users.noreply.github.com>

removed unused dependencies
8723ec450f2e7a024230467c0c28a3f154905483 15-Jul-2014 cmaeder <cmaeder@users.noreply.github.com>

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

updated to current state and omitted (partly broken) email addresses
a95700f302c138798ce1e996c255157e112b19bc 31-Jan-2014 Christian Maeder <Christian.Maeder@dfki.de>

adjusted versions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18452 cec4b9c1-7d33-0410-9eda-942365e851bb
9d74d7be2e217c391b9f10c9aeae16ec196a0152 15-Apr-2013 Christian Maeder <Christian.Maeder@dfki.de>

moved bytestring dep git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17854 cec4b9c1-7d33-0410-9eda-942365e851bb
00f0bc719ca1e4d71973771f3cae79f40535afc0 15-Apr-2013 Christian Maeder <Christian.Maeder@dfki.de>

relaxed http-types deps git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17853 cec4b9c1-7d33-0410-9eda-942365e851bb
4d5407f0ec4a8579527d3c7a7bdc6521c0fadbf6 15-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

adjusted dependencies git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17191 cec4b9c1-7d33-0410-9eda-942365e851bb
deca71350ae576f5277d0e272989bc11d26677d2 05-Apr-2012 Christian Maeder <Christian.Maeder@dfki.de>

relaxed versions for ghc-7.4.1 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16761 cec4b9c1-7d33-0410-9eda-942365e851bb
380f2f007315ac226fb2139b26290032c54e671c 09-Nov-2011 Christian Maeder <Christian.Maeder@dfki.de>

adjusted server build-depends git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16434 cec4b9c1-7d33-0410-9eda-942365e851bb
af84e3bbdbc5e38537ea1734f95c779e3f470d09 04-Oct-2011 Christian Maeder <Christian.Maeder@dfki.de>

switch to transformers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16215 cec4b9c1-7d33-0410-9eda-942365e851bb
83ba686d412735970ce8751f353fec4a05ce5a0e 05-Aug-2011 Christian Maeder <Christian.Maeder@dfki.de>

incremented version git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15898 cec4b9c1-7d33-0410-9eda-942365e851bb
140287998aa8592c9c403bd9e308e447ba92ae11 04-Aug-2011 Christian Maeder <Christian.Maeder@dfki.de>

avoid data contexts and create Ord contexts for simple Set.Set components via DrIFT git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15871 cec4b9c1-7d33-0410-9eda-942365e851bb
31a19b643466050266ab37ca41b2b0ecd928eb3c 12-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

rely on xml &gt;= 1.3.7 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15528 cec4b9c1-7d33-0410-9eda-942365e851bb
e1ea9a046e9640148ca876dfe47e391559a9fdf3 24-May-2011 Christian Maeder <Christian.Maeder@dfki.de>

allow compiling without hexpat (and HolLight) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15010 cec4b9c1-7d33-0410-9eda-942365e851bb
c6530374d2fad346d5032cba8460933c7ef07c3f 08-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

adjusted .cabal file git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14675 cec4b9c1-7d33-0410-9eda-942365e851bb
0e1cb008b23c9f8d7b627992f2ac31d961578a19 17-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

increase context-stack for ghc-7 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14233 cec4b9c1-7d33-0410-9eda-942365e851bb
dcbb1819ec824138ea8db91605ed15341ef46f2e 17-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

bump time pkg version git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14231 cec4b9c1-7d33-0410-9eda-942365e851bb
1a11dbbe3a22039557325df670b1067835511dd6 17-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

bumped to 0.97 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14230 cec4b9c1-7d33-0410-9eda-942365e851bb
f374ed6fd8cd714e136e99fcf0cd1fe44a7af9f8 30-Sep-2010 Christian Maeder <Christian.Maeder@dfki.de>

use process with readProcessWithExitCode git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14103 cec4b9c1-7d33-0410-9eda-942365e851bb
db257d6d3386c7c5bbfbbf86c4d96c175ce65191 20-Aug-2010 Christian Maeder <Christian.Maeder@dfki.de>

switch to working hackage packages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13919 cec4b9c1-7d33-0410-9eda-942365e851bb
9c139680f031413541655cf4a3cee488ac648ec9 30-Jul-2010 Christian Maeder <Christian.Maeder@dfki.de>

bumped version git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13787 cec4b9c1-7d33-0410-9eda-942365e851bb
aca2ab791cb1945ec9efacc07d68c3c424574f4f 08-Jun-2010 Christian Maeder <Christian.Maeder@dfki.de>

copied tabular sources git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13543 cec4b9c1-7d33-0410-9eda-942365e851bb
705e82c84b622acb38948903e11358fcf8114acc 02-Jun-2010 Christian Maeder <Christian.Maeder@dfki.de>

extensions are given in sources git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13495 cec4b9c1-7d33-0410-9eda-942365e851bb
5ca1fe655d7d4e35e59a082b5955b306643329d0 01-Jun-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

removed hxtfilter from Hets and fixing uris and output directories for the omdoc interface git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13477 cec4b9c1-7d33-0410-9eda-942365e851bb
72079df98b3cb7cc1fd82a0a24984893dcd05eca 01-Jun-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

removed the hook for the old omdoc interface and hooked the new interface to the omdoc suffix, added the bytestring dependency to the hexpat flag git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13474 cec4b9c1-7d33-0410-9eda-942365e851bb
1ea889640f997acdc27810ae4e42aff4fbaafe55 01-Jun-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

outsourced the xml parsing and adapted concerned files, added hexpat flag to cabal-file git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13473 cec4b9c1-7d33-0410-9eda-942365e851bb
abae511645cc6bd0f494b9bcb0e7e6fca4b9e6e9 31-May-2010 Christian Maeder <Christian.Maeder@dfki.de>

added -threaded git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13459 cec4b9c1-7d33-0410-9eda-942365e851bb
eb7b5947be0ce11fa66f6f3cd828d70c61fa97be 25-Feb-2010 Christian Maeder <Christian.Maeder@dfki.de>

replaced wrong &lt;= with &lt; git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13116 cec4b9c1-7d33-0410-9eda-942365e851bb
b79b05e4e9abe218e584273a9962d76cd41e390c 16-Feb-2010 Christian Maeder <Christian.Maeder@dfki.de>

inverted TIME_PACKAGE flag git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13076 cec4b9c1-7d33-0410-9eda-942365e851bb
1c254536e35c90b187475eb9bb32a06bfbf6a9b4 26-Jan-2010 Christian Maeder <Christian.Maeder@dfki.de>

minor adjustment git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13005 cec4b9c1-7d33-0410-9eda-942365e851bb
64d913e6d57deaa29b318a3ec07e9d2246be10a5 16-Oct-2009 Christian Maeder <Christian.Maeder@dfki.de>

removed regex-compat package git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12664 cec4b9c1-7d33-0410-9eda-942365e851bb
e1c309b2dbf9a0415c78cbbcbcb2b5ba5d10b776 09-Oct-2009 Christian Maeder <Christian.Maeder@dfki.de>

separated unix-package dependency git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12613 cec4b9c1-7d33-0410-9eda-942365e851bb
6e52f1dfc0da4bc4a7701cf856641c9dce08fc7d 09-Oct-2009 Christian Maeder <Christian.Maeder@dfki.de>

haskeline is now only needed for cmdlRunShell git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12612 cec4b9c1-7d33-0410-9eda-942365e851bb
e4aeced5394758cc762e8817d031855cc1abb02c 09-Oct-2009 Markus Gross <Markus.Gross@dfki.de>

Removed shellac dependency - now only haskeline is used. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12609 cec4b9c1-7d33-0410-9eda-942365e851bb
1e20a87f59a0bad631b37b20cae2a5d94e9064dd 28-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

added aterm package git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12331 cec4b9c1-7d33-0410-9eda-942365e851bb
9275773616ee26b2a63676f3bc332e555a688bc1 19-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

require newer HTTP package git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12160 cec4b9c1-7d33-0410-9eda-942365e851bb
334cfff54edf14ec98e2bcda86ff6aa197b56931 07-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

avoid the Haskell98 package git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12042 cec4b9c1-7d33-0410-9eda-942365e851bb
7e11afd342a92b27991109105876609ed1cd5281 06-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

removed HaXml stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12036 cec4b9c1-7d33-0410-9eda-942365e851bb
e5c550c66410d38d0f795b967e48233ea53a0b4b 04-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

HTTP is needed git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12027 cec4b9c1-7d33-0410-9eda-942365e851bb
9bcebf0424e96d1c737455490f058ea62f5080a6 04-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

removed further haifa stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12026 cec4b9c1-7d33-0410-9eda-942365e851bb
deb3e9956b12e14da180aa2d6451ed6ec823a484 23-Jun-2009 Christian Maeder <Christian.Maeder@dfki.de>

adapted to ghc-6.10.3 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11827 cec4b9c1-7d33-0410-9eda-942365e851bb
dba3f0d07b6f3c4f521272750281da8a3aac7f26 17-Apr-2009 Christian Maeder <Christian.Maeder@dfki.de>

removed UNIVERSION2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11712 cec4b9c1-7d33-0410-9eda-942365e851bb
71c388fbdc162b7571dc5fa63b00d9264852bef2 15-Apr-2009 Christian Maeder <Christian.Maeder@dfki.de>

use base-4 for OldException git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11685 cec4b9c1-7d33-0410-9eda-942365e851bb
16b7dbd3250f2501626e0030d556058f4a224e45 06-Apr-2009 Christian Maeder <Christian.Maeder@dfki.de>

corrected .cabal file git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11647 cec4b9c1-7d33-0410-9eda-942365e851bb
88a513af2484ead80d47b1246411d8298f92c68d 04-Mar-2009 Christian Maeder <Christian.Maeder@dfki.de>

support without uni git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11477 cec4b9c1-7d33-0410-9eda-942365e851bb
3422f817e6e5eb021b62b17c9adf141ebc1ee225 04-Mar-2009 Christian Maeder <Christian.Maeder@dfki.de>

adjusted cabal file and deps git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11476 cec4b9c1-7d33-0410-9eda-942365e851bb
de2634de4bd63cdbd0b510eb6f0e3df9a6d69609 31-Dec-2008 Christian Maeder <Christian.Maeder@dfki.de>

adjusted to ghc-6.10.1 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11197 cec4b9c1-7d33-0410-9eda-942365e851bb
5e6106e321192d4d0e4e27acf23ba772b4626bb4 03-Sep-2008 Christian Maeder <Christian.Maeder@dfki.de>

let cpp-options remain ghc-options for haddock git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10648 cec4b9c1-7d33-0410-9eda-942365e851bb
6e7b413ab19a63cefe85847fcad7ca4084ae76f9 03-Sep-2008 Christian Maeder <Christian.Maeder@dfki.de>

added CPP git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10646 cec4b9c1-7d33-0410-9eda-942365e851bb
375934bf9c45551b3a9e1ca29241b15094ad7016 22-Aug-2008 Christian Maeder <Christian.Maeder@dfki.de>

adapted to new version git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10580 cec4b9c1-7d33-0410-9eda-942365e851bb
f482288f1b41dc7106e20b869d386d45c7cb7957 07-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

added -DHAXML_PACKAGE git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9725 cec4b9c1-7d33-0410-9eda-942365e851bb
67d3de5a7ec60a02b444c1442376aaf0f147de8d 07-Mar-2008 Dominik Luecke <luecke@informatik.uni-bremen.de>

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9723 cec4b9c1-7d33-0410-9eda-942365e851bb
731d7c53cde95c6d88f621088bac7a064f098374 07-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

relaxed HaXml dependency git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9718 cec4b9c1-7d33-0410-9eda-942365e851bb
89e7a0c2b790a7c6594ea90ab9d642dd093f2336 20-Feb-2008 Christian Maeder <Christian.Maeder@dfki.de>

adapted to ghc-6.8.2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9592 cec4b9c1-7d33-0410-9eda-942365e851bb
453d5d6e204daa9714382172ccd84a40a70db7df 05-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

made Hets cabal file that checks for the modified HTTP package git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8268 cec4b9c1-7d33-0410-9eda-942365e851bb