Changes in todo http://src.iws.cs.ovgu.de/source/rss/hets/todo en Copyright 2005 Java adjusted todo /hets/todo - 989a127d9a90a965574320bf5ba8e94c59f6658c Christian Maeder <cmaeder@users.noreply.github.com> moved all remaining stuff to trac git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7529 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/todo - 7492ad418082a8a6b64c7cd7681abcca1e56d533 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 /hets/todo - 1385f265ec2342a83391bcd9537377a5442dc02f Klaus Luettich <luettich@informatik.uni-bremen.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 /hets/todo - 4b89bccb2342447e757782ea2a2a5bac54611892 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 /hets/todo - af0cbe339851fc558d2b18cde3666981325e667c 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 /hets/todo - 0f2be8b95750f4ac578e8a92ac6ef73b48526580 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 /hets/todo - 749eb18af1be32f292262fe6f10ce7c252b1f407 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> moved remaining todos to trac git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7481 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/todo - 5cfeedad8c9d43f62f8e8b85ab73c0dd4e91d976 Christian Maeder <Christian.Maeder@dfki.de> more files with todos git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7480 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/todo - ca4a7ebff140096ece1bb67b46fbecfb9305feec 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 /hets/todo - 5ee17de4af53fad27df89dd51a92c599a6fcd75e 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 /hets/todo - 183e25edd6aaf48da3cfcf6e5a5300bed5a941df Till Mossakowski <mossakow@iws.cs.uni-magdeburg.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 /hets/todo - bbfe7dd657bee2c654803744627e9f430f807d81 Christian Maeder <Christian.Maeder@dfki.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 /hets/todo - 7c610eb832a4575b209fc6e6c674b99975135012 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 /hets/todo - 4b90c3b8ee582daeead21ce272f11c952ef1631e 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 /hets/todo - d9e19cec1114b927a2be3f63c163f26c5e404ae4 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> moved some tasks git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7463 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/todo - 89ee5859757b78fefccda0a582cc896bd422d006 Klaus Luettich <luettich@informatik.uni-bremen.de> removed ATerm entry for good git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7461 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/todo - ea4393779e0fd0f2cc61529fb17b12f7dfbfa3fb Christian Maeder <Christian.Maeder@dfki.de> moved things to Trac git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7428 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/todo - 2ab72222964794825884a9a3608f48eee0941434 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 /hets/todo - afecd01c7e61b605cb1380a95c6e1d3a3c8e08e8 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> moved further items to trac git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7392 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/todo - ebde433e83262a4fb50e1c21df66b316474343c7 Klaus Luettich <luettich@informatik.uni-bremen.de>