| 3881c469ed14d0bc1974c2a15e396b83ca16f5c0 |
|
03-May-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
some ideas from Sept. 2011
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17941 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5e47bbd77c4d8dfc224acce06af5fb3ee1a562cf |
|
09-May-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
some references about tool chains
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10000 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7692cb629ab7ab3557479681a2b7427a9e2490af |
|
01-Mar-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved things to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7570 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 262b469babd58a3442c8f3949093917e17997974 |
|
13-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved things to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7426 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1a5743d241301ef790bc34ab60e00a49f9e3fbbe |
|
26-Oct-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7109 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8793c68e374ef07d13eac84293d351ab46f47047 |
|
10-Nov-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5372 cec4b9c1-7d33-0410-9eda-942365e851bb |
| db373255bd95ce4de47dde876c3a3bfc49c22a97 |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4415 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1c1b291a3d146eeb4e7e66e73e9fa891e075b509 |
|
18-May-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4289 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 67d5e49547d78aa56a8f9ba5e64a950b730eba66 |
|
19-Jan-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3684 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 83a9571a3df107123eb25f59ac52c576468f2952 |
|
26-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Debugging of inline list comprehensions
corrected axioms in CASL2PCFOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2707 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f3a84cc409ed345569be6673d05072dcb4291ebe |
|
10-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2572 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 968edf72c9abb1e35ad5f41419d0399c6d9acf32 |
|
19-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Basic inference debugged
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2416 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f69658e57cba7ecb37c0d84181f4c563215c2534 |
|
05-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Better backtracking for symbol map analysis; todo updated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2354 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 144d4893ba5a3815bd1639d498ee4a20ed13a211 |
|
01-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2342 cec4b9c1-7d33-0410-9eda-942365e851bb |