| 989a127d9a90a965574320bf5ba8e94c59f6658c |
|
27-Jun-2014 |
Christian Maeder <cmaeder@users.noreply.github.com> |
adjusted todo |
| 7492ad418082a8a6b64c7cd7681abcca1e56d533 |
|
23-Feb-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
moved all remaining stuff to trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7529 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1385f265ec2342a83391bcd9537377a5442dc02f |
|
23-Feb-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
moved a lot of todos to trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7520 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4b89bccb2342447e757782ea2a2a5bac54611892 |
|
22-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved things from todo lists into Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7516 cec4b9c1-7d33-0410-9eda-942365e851bb |
| af0cbe339851fc558d2b18cde3666981325e667c |
|
22-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved things from todo lists into Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7515 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0f2be8b95750f4ac578e8a92ac6ef73b48526580 |
|
22-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved things from todo lists into Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7514 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 749eb18af1be32f292262fe6f10ce7c252b1f407 |
|
22-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved todo list to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7506 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5cfeedad8c9d43f62f8e8b85ab73c0dd4e91d976 |
|
20-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved remaining todos to trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7481 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ca4a7ebff140096ece1bb67b46fbecfb9305feec |
|
20-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
more files with todos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7480 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5ee17de4af53fad27df89dd51a92c599a6fcd75e |
|
20-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
more files with todos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7479 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 183e25edd6aaf48da3cfcf6e5a5300bed5a941df |
|
20-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
more files with todos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7477 cec4b9c1-7d33-0410-9eda-942365e851bb |
| bbfe7dd657bee2c654803744627e9f430f807d81 |
|
20-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed todos; these are in hets-trac or are deleted for good
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7470 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7c610eb832a4575b209fc6e6c674b99975135012 |
|
19-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added pointer to files containing todo's
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7468 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4b90c3b8ee582daeead21ce272f11c952ef1631e |
|
19-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
tidied up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7466 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d9e19cec1114b927a2be3f63c163f26c5e404ae4 |
|
19-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@7465 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 89ee5859757b78fefccda0a582cc896bd422d006 |
|
19-Feb-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
moved some tasks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7463 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ea4393779e0fd0f2cc61529fb17b12f7dfbfa3fb |
|
19-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ATerm entry for good
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7461 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2ab72222964794825884a9a3608f48eee0941434 |
|
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@7428 cec4b9c1-7d33-0410-9eda-942365e851bb |
| afecd01c7e61b605cb1380a95c6e1d3a3c8e08e8 |
|
08-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved tasks to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7397 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ebde433e83262a4fb50e1c21df66b316474343c7 |
|
07-Feb-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
moved further items to trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7392 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b79d1195e42ea36b732691101b090775eb66e156 |
|
06-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved tasks to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7387 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7b29b4b1e019e72dc7aff35c2a98eb6bad67e364 |
|
06-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved tasks to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7385 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e7d262f33d522d66b7d10816a47a56922b347b9d |
|
31-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added my tasks to hets-trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7362 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5f40e8aa2c372040ab519c6401627d64812922ff |
|
26-Jan-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
moved some tasks to trac; removed completed or obsolete tasks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7347 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8200a7c0b70625cb90e32affbf2f9a270b51b7d8 |
|
22-Jan-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@7327 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2586e34a05bac68ae02fe4ec5342b1990e08cb5e |
|
21-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved trac component structure to trac wiki
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7324 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b34594103c3ab68b20ef7a3fe8467d7eb5913153 |
|
18-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved tasks to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7322 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7bf028d7cb8784f8784cbcdfa51f619e50c99fc8 |
|
18-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved tasks to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7321 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3bd6c22ada77513af4baa3ec34ccc0ec57a6d2f1 |
|
16-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved tasks to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7317 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8ad50bf4e0236e6aab579d18ce94650c019b3da4 |
|
16-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved tasks to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7315 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 578415c3958202aefc3e396ac5788c594c3b1bf7 |
|
15-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved tasks to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7311 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a485da9ec64bde718bfa4e211ef170dc86f8b7f6 |
|
15-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved tasks to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7310 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9210840ebaf01ab218cab46322014c4240205060 |
|
15-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved tasks to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7309 cec4b9c1-7d33-0410-9eda-942365e851bb |
| aec579d1aff83f526013366a5250b5e2564366ea |
|
11-Jan-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@7306 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2468ac9eb2743941b0deb95e567adb5239a24287 |
|
11-Jan-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@7305 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6aed82191ef8360363940356ef9f6f448e4c5b87 |
|
02-Jan-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@7289 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9da19b4cbb0a0dbc7b592e7ba05bdee0f222d208 |
|
02-Jan-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@7288 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5210ca461d947c73189a20c7a9c909c06c5efc70 |
|
14-Dec-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
misc. + moved Ken's tasks to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7263 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c1015e823b467ffb3e58fe3eacb0db58937063ba |
|
01-Dec-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Martin
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7220 cec4b9c1-7d33-0410-9eda-942365e851bb |
| dce941659526313d3e4ec7021ab76ad97995a4c3 |
|
20-Nov-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added stuff for Heng and emacs mode
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7166 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7805ba9a692e55ad925baf0fca762a7ee39ea006 |
|
10-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
code out HasCASL subtyping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7151 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3a7e86e768e8c3154aa4f10a301b759876287171 |
|
08-Nov-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Ken
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7139 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cfd1d886ed93fa094c9fe2a923b858c668a6aef5 |
|
08-Nov-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Ken
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7138 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3b7d0a74a7b69fdc6318fab44b9b1d6352ef509a |
|
08-Nov-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Ken
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7137 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 74c400939c0300510e5d789392af6245ac4fa63f |
|
07-Nov-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added simulated induction
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7133 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 00363107b174c829610735f8b9a8c4fe21f24537 |
|
06-Nov-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Ken
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7124 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2f792df2d62311e3f2d62cbc8680e6ab3a00db88 |
|
01-Nov-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
updated Rainer's items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7114 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d03b1fd6ee49eef7fdd2397c05160d8aab6fce92 |
|
19-Oct-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added more items for Rainer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7066 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 19a2526eba3852f1efe6ffa1e41e1a2ef77cad5c |
|
18-Oct-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
changed Rainer's items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7065 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8b3384c16fc380424b24dc5ddc9bc1cecc726efb |
|
12-Oct-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
modelSparQ option angepasst
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7049 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b54ffe582f816d9cc43a4368d030ffb4ee38a26c |
|
12-Oct-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Florian
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7047 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 32cf6db485eba8c6be8505043d42c3ae4014c706 |
|
12-Oct-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Florian
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7046 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0cb3792028374bfc7503f9458044ce93013d3b0a |
|
11-Oct-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
updated Rainers todo items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7037 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cc9279b89cc62b80199696ac7e87b6d2bdd08e7a |
|
05-Oct-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
OMDoc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7012 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c26a6ccfc987967679b7107c6075200c76099434 |
|
04-Oct-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
deleted/refined completed tasks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7008 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 10d8b2affa5e9521ad8d79b2b4220100e255a775 |
|
28-Sep-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Ken
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6989 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ead55e5013b301de3b72a254a9fb347ae04ba0a4 |
|
28-Sep-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Ken
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6988 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 48fe12a47459e2cd54660d5d850e7aafadd6d77f |
|
26-Sep-2006 |
Florian Mossakowski <fmossa@web.de> |
Florian
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6982 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ed6873e3c28f11208f6873e04a65c3c3aa012ed9 |
|
17-Sep-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added uDrawGraph/DevGraph related item and ProofMangagement/GUI items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6945 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a07199a5d9c421ae4577a6fbbe3ebab5d7d68e82 |
|
31-Aug-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
last discussion with Till
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6908 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 11cff49cc1e53960c6c83d88b841386ddbfedb0c |
|
28-Aug-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
updated Rainer's todo items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6895 cec4b9c1-7d33-0410-9eda-942365e851bb |
| fd8cfa293b960c770f15757e24fe5394d74671e2 |
|
18-Aug-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Florian
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6837 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b04658442a4419349d41c931f2a3bda49e8be9e8 |
|
17-Aug-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Diplomarbeit Mingyi
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6835 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6a5da372804d52203a16e54cea55ee1ae6951d6d |
|
15-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Isabelle coding tasks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6823 cec4b9c1-7d33-0410-9eda-942365e851bb |
| aa59f99fc45148fde3813cc560a5d3ebae6641aa |
|
11-Aug-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Ken
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6810 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8fc331ee1cdf4cd55315ce5f31ed471f0dc7c9d6 |
|
09-Aug-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
more precise description of single sort elemination for SoftFOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6795 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cc011afb0a035501b70e16ed3a578b0cbd9a4649 |
|
21-Jul-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added comments and todo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6701 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d70b75218d4ab3cd49b29274f8a2844ad3b11634 |
|
14-Jul-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added another task for Rainer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6663 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 36e567ca4ae0eabbfc918b98b96762b5cf07bbb8 |
|
28-Jun-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Florian
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6527 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b67e71cf6027b5e8ef97e91e5e2e06ef84460e5b |
|
27-Jun-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added new items for Rainer Grabbe and me
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6524 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7d201e2dbe9872cdad86766bf65af57f3b9ab0aa |
|
22-Jun-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Florian
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6477 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0e3db835d379ceb594b0daa25a0590abb755a1ac |
|
20-Jun-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Anton; Razvan
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6465 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3c8c05dc3358d217513d8e0e8e32ccd3e4947c05 |
|
20-Jun-2006 |
Florian Mossakowski <fmossa@web.de> |
details Florian
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6462 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4a573a1ca4f8556b77e3467e6c2b261ba03e3036 |
|
08-Jun-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
PGIP
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6428 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e2143dde7e5adcc35f1587e94c9279d8cbe3cbd5 |
|
08-Jun-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
PGIP
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6427 cec4b9c1-7d33-0410-9eda-942365e851bb |
| bd30fb0b81a1095db5b28d6dd7b294d8e8c9a0bf |
|
06-Jun-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
internships; reordered tasks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6418 cec4b9c1-7d33-0410-9eda-942365e851bb |
| db808015f92d8fbee41ddedd34a78f6d5ac70cfc |
|
30-May-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Florian
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6402 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 05f44ad3061b64dbaafa801efdcac79d7abe38a9 |
|
19-May-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Hendrik
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6363 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ce507cba25d24cfbb7c13f51bd67c4462862c2d1 |
|
17-May-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6338 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 198093ec9afd8b459087dc30c94347bb7eeaa282 |
|
25-Apr-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
discussion on perspectives of (HasCASL) tools
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6251 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 82e53ddd36b012552278c1d02b7ea2e786fc375a |
|
12-Apr-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Hets/OMDoc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6193 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 04ee0d20d16836bb6e835029a807c304973dea46 |
|
11-Apr-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
HasCASL tool discussion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6190 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9a9a05b15ab416d7d84fdb9115023e9136666304 |
|
01-Apr-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
comparision of complex datastructures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6149 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1a58edf41188c6928c65f0b071f4357450e23c1e |
|
17-Mar-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Hint for Ken
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6049 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 677a642991937d4bcf24dd30ef54328a9197fc86 |
|
17-Mar-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Zheng
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6045 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 180139f7c23c592aa6d4fe82ea5d15832ed25a84 |
|
09-Mar-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
removed some old stuff about dg calculus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5951 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0317c2ef1c222f6664e9b494d10c68ee2114475e |
|
09-Mar-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
recorded proof status refactoring
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5950 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e0eee2b8144337bb54feb78d5a8b043041c9e028 |
|
08-Mar-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
prover interface discussion at coffee break
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5928 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ee8004172f6f17460edaeca1aed0b0e59878af66 |
|
07-Mar-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Florian
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5920 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 963fd654abe69959032e5747732ec1c2f8fc9b41 |
|
02-Mar-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
DFKI meeting with Lutz, Christoph, Michael
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5900 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 69b043b647fa86377c06a8c413c8539f099d8084 |
|
02-Mar-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Ken, Zheng
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5895 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 581d3200cf7b4d344ae1ef0c581895723e2d527b |
|
02-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
dicovered uni/appl/ontologytool
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5894 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0ef6fed7a5d52b1f791926bd8a432723ffd28767 |
|
01-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added subversion, Track, AbstractGraphView
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5889 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 420440d8d1a274241aae513044f0f9a0bc691985 |
|
01-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added porting to windows task for HiWi 4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5888 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2b60e1b81de56782be899de982c0908696f3530d |
|
15-Feb-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Florian
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5819 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4b03f31b4401e4e9f36e92c461f82acb8e67b5c3 |
|
15-Feb-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
dg calculus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5818 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b021b399b59fb7009308ed7a3eda30182dea7976 |
|
13-Feb-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
refined Modal to DL task a little
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5805 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 566b6a416bde2bc90d3aece2d992127303fb5d75 |
|
10-Feb-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
ConstraintCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5799 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e1f2ef9a7f4d41a42927b2e352cbb558791a4007 |
|
10-Feb-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
adapted new items.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5797 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6c82551a9e6a38aa7c774db95ee957379f03df75 |
|
10-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added text for uni- and pp refactoring
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5796 cec4b9c1-7d33-0410-9eda-942365e851bb |
| df1c618bab858ddea7391a7616b57fdde0d0b02d |
|
10-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed fixed (Isabelle) stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5794 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2b9290308115cc5bda1684b07348f25e2b39ed50 |
|
10-Feb-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
new tasks for students
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5791 cec4b9c1-7d33-0410-9eda-942365e851bb |
| baac12e7dd41b6e250e753c88ee0d40505509104 |
|
08-Feb-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
updated several items and added a new task regarding MathServ
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5772 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 42e6f81f0794a7b6bc8e29e97c55668abe96da59 |
|
30-Dec-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5570 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 601e0da2d33c7b4ce6ece02a24ca52a88c5ccfa4 |
|
14-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4657 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4f067f9722982fa8bba91c5fec24afbc85a49bc9 |
|
14-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@4420 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 |
| 1604c7123ebd603b2ca3eb6d2bd325cbdb23ee99 |
|
09-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@4394 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9b6a240bf8a37887add38054413d7f880bd59cf3 |
|
03-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@4371 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0ed8d8af48a2da78b0dcd8f0728033feef767d56 |
|
03-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@4370 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 587fb54160b66128cf17e4c9bca7494a7f2c3c4a |
|
23-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
homogenized FIT_ARG data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4315 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b2768faecd6610af357407a8ddfe1412a18f8ebc |
|
08-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
visibility of CASL variables is correct now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4029 cec4b9c1-7d33-0410-9eda-942365e851bb |
| aa311a75325a0ab20cf742efb8a2a0f83668e837 |
|
08-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
CASL quantification was fixed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4028 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a50b65fa19134fd10a653b8f8160b830a4d489d7 |
|
08-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed two bugs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4027 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 68551c69c9e6c705898bb462a3faec5d0d981417 |
|
06-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed two resolved items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4013 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ec75b50a89aea0d96fd19ce864225267d0625f25 |
|
21-Mar-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3987 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9d927ffea9c067afe6187dfceb39359e7d7aacd3 |
|
20-Mar-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3982 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6388978878a25fbc7f4d5629bf5a7e35364809d4 |
|
18-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
ghc-6.4 difference
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3980 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1fcc00fdd88ae7d501ed00a249facb8dfdce1988 |
|
18-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
noted unsuccessful UniqueNames repair
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3978 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7558b31c7b2cdfab2b09dfbcb94c75bbfc49db8e |
|
17-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
remaining bugs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3969 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4dcd2d1b64ccc7f705f2ce10d129ef9304ae413b |
|
10-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed CASL type check, noticed COL desaster
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3923 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9565b030a2f09eeaac049389e27aa0977212a231 |
|
25-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
Overload problem
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3864 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 877db3191b09306a5f22df63cf1e9e9dad9a6ddc |
|
23-Feb-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3845 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cc7492cd222f08d17c994912bcb0c60083ae2bc9 |
|
10-Feb-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3777 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 96cc01853b72b9d0fdc9e3d309a196a2216de119 |
|
26-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
updated my part
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3726 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 87268d03b727bc9091716644fcf4048379accf02 |
|
20-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@3687 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f157913a0128ce772d0acd5038f61a7a619fd707 |
|
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@3683 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 63f59fcd2200f9f145c539715f7452257263cba1 |
|
10-Jan-2005 |
Lutz Schröder <lutz.schroeder@cs.fau.de> |
Translation of datatype axioms: warn and map to true instead of fail
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3641 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a1bb9f8f9143aa2d84dfab69ed988d94f7e3b196 |
|
07-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@3635 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 52aad0502f0ddd332a28ae3fcd3327fa66d002f7 |
|
28-Dec-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
static analysis of 'with logic'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3596 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 21d72ad1e64e2fa6d831f9def45d6dc21f6e0bd8 |
|
18-Dec-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3573 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cb1c5be39138fb8f037dbefc121fe41adc06845d |
|
13-Dec-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3556 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8ed1701f25192197c44291a6929653bf377cba2f |
|
07-Dec-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3532 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 871c48ec491643e87526b5f24c5ba255fa025027 |
|
02-Dec-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3505 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 601f11cf0b4164a6a718038a736ae3d579f3a27c |
|
25-Nov-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3463 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7ed2a775680fb1a29e6907d372124906b7746420 |
|
15-Nov-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Proof status interface reduced to names of axioms/thms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3429 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b0ff5ad663224c8d9ca6017e6d598d9bc5fdbd77 |
|
11-Nov-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3424 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b303a3717d229b102bca29e58d9e38c2f91fd233 |
|
11-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
updated items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3421 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8980a8c8137a3a4c69bf9fdb3eca5b4b7f6e69c9 |
|
01-Nov-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3357 cec4b9c1-7d33-0410-9eda-942365e851bb |
| aa6f6fa09091e92016598584162b9ba909af48cc |
|
01-Nov-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3356 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 85ab61b931e22a72a53628b8aa5d059eeaedf1bd |
|
28-Oct-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added AllowClose to avoid "really close" message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3342 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b172714c339053a40393dc0cf4f9151c97695e01 |
|
19-Oct-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added showLemmas flag to Isabelle signs, to chose whether lemmas with
simplified axioms should be included or not
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3270 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 31c49f2fa23d4ac089f35145d80a224deb6ea7e4 |
|
28-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added flag UNI_PACKAGE to allow removal of UniForM workbench
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3112 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 331ed72b03dc966e023fecae5f0116b119082ccd |
|
11-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@3050 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0b54df32e275652e0d01cf0b16d2401377526539 |
|
05-Jul-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2919 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5f96ebe3a06b74faaf2860af09b722d006a82cbc |
|
16-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2878 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c7ffd4daa474e87f7fb572e9747a976ef02e532e |
|
16-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2869 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 55f81e2e4fec83e1d4b112e3333211e1a954456e |
|
16-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2868 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2d76902bf3b380a32268ccc0d2cd9e376988a060 |
|
15-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2864 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3e2c4de10a0eb284938b5d5307d1c1fc2f799456 |
|
04-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Sublogics corrected/todo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2816 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 950ecce40ed5a97adf4460be07b47e3a0d0b1e56 |
|
02-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Translation of cogeneration constraints to Isabelle
instace Typable G_sublogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2799 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 60082d649e5bbb1c54f73f8921c3c390170e6c46 |
|
27-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@2728 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0d42a1490aa92c24b19823f745104eefbf29675d |
|
26-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved haskell stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2725 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2d6b942b2d10709143b699783f38957d8856e67f |
|
26-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@2719 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 827a44bf2f3c22355f28dd83ec4511ea9e655dbd |
|
24-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@2686 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f8f7aae3b628450c0d53bd620456da706d4266d3 |
|
18-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@2627 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2a6ba30d215dbf048c6cfee7f816d0eb0392aa6d |
|
17-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@2624 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 04d17d4f8862860f968f6b72b902163aacda6343 |
|
17-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added HasCASL2IsabelleHOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2621 cec4b9c1-7d33-0410-9eda-942365e851bb |
| bea5761c310012308382aa6df7cd80d1f3acc0bc |
|
14-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
CCC menu added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2600 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 19de92371ac1cc5d71e4ca0a1f4aaf5dba9b1ad8 |
|
14-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@2598 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cc5d60d23c401752ba8a931756546a6c86519d9d |
|
14-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@2596 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d4f60a7dc41e0430d16c79f0d156e556d6d1ba37 |
|
12-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@2581 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4be2c76af9603b48b147f1f369f713e78544974e |
|
12-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@2580 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 |
| 2ee1615e999c5e0c49508ed4fcced7344b050042 |
|
05-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@2543 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 617a89d712d108f8d4c2bfe888a7e59566d17c0e |
|
03-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@2533 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e927ace91d729fa35f6b1d08faf84af28cd139e9 |
|
27-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added list comprehensions to inline axiom translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2480 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 99dc2aa6d6b19e22c508bdb45942ce85e9137fcf |
|
23-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2463 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f1ba3c4b1394e88800bece2e9067e2866015cfeb |
|
21-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@2451 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 |
| dedca4980b2d43bc343ffcaf73e0617524f9720c |
|
13-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@2385 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 88c65bd4e8841502546923da0e81ade9045e8fec |
|
13-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@2381 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e539b8cb4a47f987bc57c90ee964219ac53841ff |
|
11-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added (some variant of) the extra signature morphism component to
sort generation constraints (cf. p.134 of the CASL Reference Manual).
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2379 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ed892c579cca270fff0aa9cc2a34351c420e3182 |
|
07-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@2373 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 |
| cab146bf32988d9c51b0d8d5e6b4b6c435d3b1f6 |
|
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@2344 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 38f30f746aa42d4fc659a15e183801f2f74596d0 |
|
01-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
todo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2343 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 |