9b85bff13ef2028c33251ec48cc32f2a74635604 |
|
19-Apr-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
replaced the Sublogicgraph, changed csl to encl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14963 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 |
3d16279d35bfe050af6b69a34a2826d1738947f9 |
|
14-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed layout
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13336 cec4b9c1-7d33-0410-9eda-942365e851bb |
8329ce8b9dc108e2aabe59a046566df103140b77 |
|
14-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortend sublogic name for all types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13334 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 |