| e11cf710af51edc40a31a6acb70b1c9e868651a3 |
|
26-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
changed cl:foo to cl-foo syntax; partly removed obsolete CLIF-embedded theory relation annotation in favor of HetCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16637 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a67fd7166d27ae4f9a8a5ccbe744c6e5996e0208 |
|
23-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
some documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16625 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f4aeb94f5c4d7055923e81b9ed2443cee3ded2c5 |
|
23-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
doing listings properly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16624 cec4b9c1-7d33-0410-9eda-942365e851bb |