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. |
1f9823949404b1a298541f38aa7fb4f129ff46f0 |
|
30-Mar-2015 |
cmaeder <c.maeder@jacobs-university.de> |
list current jars |
4ffc423a7df8af7e7d7e563a15471da4505ddeb5 |
|
05-Mar-2015 |
ignazio <ignazio.palmisano@gmail.com> |
update owlapi to 3.5.1, update FaCT++ to 1.6.3.1 |
ad5671edfa2ed767ec4fdc2f3099603d6fe8b97e |
|
20-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
adjusted some links |
4edebbc87f6686cea89c00cefda6e16e049c6d8c |
|
18-Mar-2014 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Added documentation for Hybrid Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18552 cec4b9c1-7d33-0410-9eda-942365e851bb |
e25f8c6234c9184e49ee346abebb5f961851c4a5 |
|
23-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
refined Haskell and ExtModal entry
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17900 cec4b9c1-7d33-0410-9eda-942365e851bb |
fae78303778c0b2fa0b28a371a625247e4255903 |
|
23-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
joined two THF entries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17899 cec4b9c1-7d33-0410-9eda-942365e851bb |
07f9230ffdf4bb128e4e07f2d01efdf433ebe45b |
|
23-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjustments wrt OWL, Fpl, THF, HOL-light and version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17898 cec4b9c1-7d33-0410-9eda-942365e851bb |
34d880694ed872dd3e7f922bd9ca3b1aa917c822 |
|
25-Mar-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted getting started
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17810 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab5781bda9fa3062a3a92c4b57fa6bc7b70c745a |
|
10-Jan-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
new logic graph; interactive provers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17724 cec4b9c1-7d33-0410-9eda-942365e851bb |
1d9290e729b7cd9a6f666432934fd890a9766fbd |
|
21-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
example for relative interpretation (COLORE annotation and HetCASL view)
example for heterogeneous views
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16613 cec4b9c1-7d33-0410-9eda-942365e851bb |
a17349d0247036407c22e632ece0e8f2b736253c |
|
18-Jan-2012 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Intro to CL user guide, something on TPTP and THF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16592 cec4b9c1-7d33-0410-9eda-942365e851bb |
650631bddf665ec5ef991bf4ce2f569b7709d104 |
|
07-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added contributors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16425 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c9181d2fd65687ced28a27cb8e161dee6d97f51 |
|
21-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16360 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e1fc365493855f4d07aaa5eb4dd4df47911caca |
|
08-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted fact++ libs and reduce configure option
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16108 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd29aea0190ac8707f2a0896a4a4b8bb2aac13ff |
|
01-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Doc: Hets for CL Users
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16073 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3e4f883d74b0cd6b1708141fddc20e895e82eb1 |
|
31-Aug-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
corrected misspellings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16068 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8f447e9e532f38658c7b3bbd0a5407aa42f66fb |
|
20-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Solaris
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14970 cec4b9c1-7d33-0410-9eda-942365e851bb |
615303ffb83111f58cb5429d0d54d367de74f414 |
|
19-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended server description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14964 cec4b9c1-7d33-0410-9eda-942365e851bb |
c4ef92d191720274e401498d3ba8dd97e1e76dc8 |
|
18-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added server section
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14961 cec4b9c1-7d33-0410-9eda-942365e851bb |
38914aa544a92aa72e537446cfff297dc6109e04 |
|
18-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added options and contributors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14960 cec4b9c1-7d33-0410-9eda-942365e851bb |
af35cfab2b45879b385a8ec31558f7ebb1b3dc5f |
|
18-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
updated proof management gui
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14957 cec4b9c1-7d33-0410-9eda-942365e851bb |
6135dff41a8cf187b8821aab7def02f624f8e856 |
|
18-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted menu description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14955 cec4b9c1-7d33-0410-9eda-942365e851bb |
a748e6c1e72afbfa4f76e06632c05cb535bb54a0 |
|
18-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added .clif and .xml input files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14954 cec4b9c1-7d33-0410-9eda-942365e851bb |
9db773679fcc0a65c04b99f5699d3db382b6be7a |
|
18-Apr-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
non-breaking url in freecad
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14946 cec4b9c1-7d33-0410-9eda-942365e851bb |
6eb84b5a2295c866c59905963b9342bc120b75eb |
|
18-Apr-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
removed too much CADs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14945 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a5598bba75f2fbaa7851a9be2f8f0a1fce19cb6 |
|
18-Apr-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added description of EnCL and FreeCAD
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14943 cec4b9c1-7d33-0410-9eda-942365e851bb |
543ded2ae6a6e13f6cd2c22f9f0921e8c452cba0 |
|
15-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
update installation notes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14917 cec4b9c1-7d33-0410-9eda-942365e851bb |
c57bde4abc9029546fa396c4eccacf969e126b96 |
|
14-Apr-2011 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
more logic descriptions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14914 cec4b9c1-7d33-0410-9eda-942365e851bb |
de55550f7d117195f127481d18ec2d5e8d2317ff |
|
14-Apr-2011 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
documentation for logic definitions in LF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14913 cec4b9c1-7d33-0410-9eda-942365e851bb |
533d6033bec94a46d13b73cafe40953f699757c7 |
|
13-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added CommonLogic, QBF, HolLight and comorphs for release 0.98
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14909 cec4b9c1-7d33-0410-9eda-942365e851bb |
4317329b15d986d363c78acf8e4b330f33cccf9d |
|
28-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added FPL and HETS_MAUDE_LIB description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14647 cec4b9c1-7d33-0410-9eda-942365e851bb |
d78a2b8c5a63f3e63393e5cc44a5e9b253ac459b |
|
03-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted version number and affiliation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14339 cec4b9c1-7d33-0410-9eda-942365e851bb |
3fdf6c17476458d1458d5ae2c085efd2634ba7d9 |
|
18-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added ADL stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13897 cec4b9c1-7d33-0410-9eda-942365e851bb |
a05d3f31f5b28c68df892a785c1adb870ae430d7 |
|
03-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected spelling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13810 cec4b9c1-7d33-0410-9eda-942365e851bb |
749b7d8ea5a481831375f49ae50239dd8e3d2d12 |
|
29-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed remaining ednotes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13407 cec4b9c1-7d33-0410-9eda-942365e851bb |
3cca22bf00dd189214595454eb696fdf954f366f |
|
29-Apr-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
cleaned up Freeness
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13406 cec4b9c1-7d33-0410-9eda-942365e851bb |
17787092f1a5f5d16445e8293fd4bcde69e3fc81 |
|
29-Apr-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
description for maude translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13404 cec4b9c1-7d33-0410-9eda-942365e851bb |
45dc2929dcad39b4dcc6a8e11cd9a4ab7b2ef8b4 |
|
28-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed some ednotes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13403 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e0309de8bbb1588c0f976d6ce3f1e615d17da84 |
|
28-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added consistency checker
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13394 cec4b9c1-7d33-0410-9eda-942365e851bb |
ed4d9ed5597a2d5cc80793233a693ca24f60afa2 |
|
26-Apr-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
menu descriptions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13384 cec4b9c1-7d33-0410-9eda-942365e851bb |
2158a22599ee3ace186a7ce197cedda5d9bcadbf |
|
20-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
described VSE interaction
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13359 cec4b9c1-7d33-0410-9eda-942365e851bb |
c449906d0bfb0da56e503edfe7f5e998268e33b2 |
|
20-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
described node and link types and some menues
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13358 cec4b9c1-7d33-0410-9eda-942365e851bb |
1e276df94eadfeab45099f4482f76a9958bedb9c |
|
15-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
updated options
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13344 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0dcf58cb6eb2ba4cf2e14734d3af3c992cc1885 |
|
15-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added tools list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13341 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c3c3698b466d4c20e26b7bf4a16f3970303bcf7 |
|
15-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
updated comorphism table
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13338 cec4b9c1-7d33-0410-9eda-942365e851bb |
0093b49b89d814da4164d43e754509a90a00e9ee |
|
14-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
updated supported languages table
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13329 cec4b9c1-7d33-0410-9eda-942365e851bb |
65afd6de83b252cc393ee407bab4dd8b57b97e0b |
|
14-Apr-2010 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
added descriptions for KRHyperHype, Fact++, Darwin and Pellet
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13328 cec4b9c1-7d33-0410-9eda-942365e851bb |
c488ac18796ad6383b1edf7fa2820edc8296c89e |
|
14-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use a double underscore to indicate internal node names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13325 cec4b9c1-7d33-0410-9eda-942365e851bb |
c9d53cd78829e538aee56b84db508d8d944e6551 |
|
13-Apr-2010 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
prepared new version of user guide
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13320 cec4b9c1-7d33-0410-9eda-942365e851bb |
8d576513b8c89016a3d678378ed75cac0e2e1aef |
|
23-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected Factorial (and Buffer) example (removed trailing white space)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11565 cec4b9c1-7d33-0410-9eda-942365e851bb |
464c78620a182d2e8fbd125098045eae8788e2bd |
|
19-Mar-2009 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
eliminated hets@...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11549 cec4b9c1-7d33-0410-9eda-942365e851bb |
e683cd5ffcfa43e18a9b3eb7c7aeec32dab50c06 |
|
02-Oct-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
added normal forms and colimits to Proofs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10762 cec4b9c1-7d33-0410-9eda-942365e851bb |
b740c481cef85409c373a87756fa394051cb4a37 |
|
09-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed obsolete options
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9909 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8a33e72909e67885a9ecbae881fc75134c362cb |
|
13-Jul-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Added info for zChaff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8358 cec4b9c1-7d33-0410-9eda-942365e851bb |
3532dcfda4dd76997072fcda24e75c305d105233 |
|
13-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
final reading
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8355 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7eefd526faedd63acb8f91de5793368cfe67655 |
|
13-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
revised section 10 (Proofs with Hets); the Isabelle description is only slightly changed; added hyperref and url support.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8350 cec4b9c1-7d33-0410-9eda-942365e851bb |
30256573a343132354b122097b0ee1215dda1364 |
|
12-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
walked through the entire manual, except from sect. 10
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8346 cec4b9c1-7d33-0410-9eda-942365e851bb |
2642069f1e829a4eb80dd1d235482ce2a86dc57e |
|
02-May-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
minor corrections
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7861 cec4b9c1-7d33-0410-9eda-942365e851bb |
12a1614014912501fbfc30a74242d6f3a5c97e80 |
|
08-Apr-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added mailing list without subscription
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7803 cec4b9c1-7d33-0410-9eda-942365e851bb |
7a8592051724fa46499bde120f44cdc8db270876 |
|
26-Mar-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
typo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7760 cec4b9c1-7d33-0410-9eda-942365e851bb |
1e1cb538d4c4dc09e86cd8c209f55f9e37ae4970 |
|
25-Mar-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
better explanation of installation procedures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7757 cec4b9c1-7d33-0410-9eda-942365e851bb |
2c66eeb1cc9ad264525901f10c35c66638f91865 |
|
25-Mar-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
improved documentation about comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7756 cec4b9c1-7d33-0410-9eda-942365e851bb |
e91e02579a34e005734059ad09e0d1d1304a03e0 |
|
21-Mar-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
fixed Klaus' name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7728 cec4b9c1-7d33-0410-9eda-942365e851bb |
9c3b1fb1952bb78a1942fe612215f940fc8e5f31 |
|
21-Mar-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
finalization for 0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7724 cec4b9c1-7d33-0410-9eda-942365e851bb |
c5e63ec138b908ac9d15e6843120033bf36a1862 |
|
19-Mar-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
avoided tzi.de
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7704 cec4b9c1-7d33-0410-9eda-942365e851bb |
89118fd658073a87eddf4ead4bb63c6adb30550d |
|
19-Mar-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
first half towards 0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7702 cec4b9c1-7d33-0410-9eda-942365e851bb |
2ef350ad6e8df3c2c1d76bb6a9dca42a267b3eb1 |
|
28-Aug-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Razvan and Anton
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6897 cec4b9c1-7d33-0410-9eda-942365e851bb |
460a5052a96ce648bbecc9a0bd41c1b82a1c4e59 |
|
17-May-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added -t option
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6339 cec4b9c1-7d33-0410-9eda-942365e851bb |
e31c49c9f2b85b768519a2e1ebc143e6a8484aec |
|
03-Nov-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
corrected bib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5339 cec4b9c1-7d33-0410-9eda-942365e851bb |
53eb610e03705ac6499371cde16cc37482fb3313 |
|
03-Nov-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added descriptions of provers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5338 cec4b9c1-7d33-0410-9eda-942365e851bb |
881ab7022a03f9a6fa697d3067d05d61844929cb |
|
28-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
version, email, HasCASL's ana is better than CoCASL's
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5302 cec4b9c1-7d33-0410-9eda-942365e851bb |
9cb7b59cc1442c507b0eac2a795d68b5571788ea |
|
24-Oct-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
missing menus; acknowlegdements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5238 cec4b9c1-7d33-0410-9eda-942365e851bb |
91dd24480df03b2cca7c1645bb2866d7000dfdb1 |
|
21-Oct-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
updated a bit...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5218 cec4b9c1-7d33-0410-9eda-942365e851bb |
9101c1cc72e8daa5e9b56c7c9e841c377f98402e |
|
08-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3143 cec4b9c1-7d33-0410-9eda-942365e851bb |
f4dd7b59c284145a320a4b976312de41921d3f9e |
|
29-Aug-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Added description of --casl-amalg command line parameter
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3118 cec4b9c1-7d33-0410-9eda-942365e851bb |
a231094086321e19f9a689de4745512c91e00e4b |
|
24-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3084 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2d72b2254513ef810b0951f0b13a62c2921cb4d |
|
15-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
CASL2PCFOL added to logic graph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2615 cec4b9c1-7d33-0410-9eda-942365e851bb |
7e7c1b5990145d02f8abb7c74d3c0d609735b54c |
|
17-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2176 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8f5a6ef56e210093ad852ed147d7f5f0a24cce9 |
|
16-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
hetcasl.sty
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2171 cec4b9c1-7d33-0410-9eda-942365e851bb |
a8ce558d09f304be325dc89458c9504d3ff7fe80 |
|
14-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2168 cec4b9c1-7d33-0410-9eda-942365e851bb |
be815f1a2112b3e53f5d9bf4eabb6b2ba1c96b43 |
|
12-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
INSTALL file comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2142 cec4b9c1-7d33-0410-9eda-942365e851bb |
47af295501ed5f407848f61b9943d58ccb43be29 |
|
12-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Bug fixes for overload resolution
Display signatures etc. in Windows; made menus uniform
User Guide updated w.r.t menus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2140 cec4b9c1-7d33-0410-9eda-942365e851bb |
376b6600e1ccebd180299471f732b008a96027d4 |
|
08-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Maciek's comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2104 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3f2015ae170a15e5b57d4880ded53073d725ac0 |
|
08-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
First draft
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2097 cec4b9c1-7d33-0410-9eda-942365e851bb |
38a46398edcd7ad7d1777ae646d4cc484cce49bf |
|
07-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2096 cec4b9c1-7d33-0410-9eda-942365e851bb |
5277e290ad70afdf97f359019afd8fb5816f4102 |
|
07-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Initial version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2095 cec4b9c1-7d33-0410-9eda-942365e851bb |