| ab5781bda9fa3062a3a92c4b57fa6bc7b70c745a |
|
10-Jan-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
new logic graph; interactive provers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17724 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d5f0fdfdd784f312a416af96ffabeffc83a938ac |
|
02-Feb-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
improved COLORE relative interpretation explanation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16647 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0a3457e83a4f8b69f07b3e1746b4a1c49ffdb659 |
|
01-Feb-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
added one more example to Hets-lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16644 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e8fb767fb6c620c28261b928c2221153f3559b31 |
|
01-Feb-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
ported most metatheoretical relation annotations to HetCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16643 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 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 |
| 26973ce551bd587f878f49182d9a32722e6408a9 |
|
25-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
fixed errors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16634 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4ec6e80b96aee974b14184a95894325288ae4c4f |
|
23-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
fixed/improved listings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16626 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 |
| 0082fa50c9b5b658de305b63df4ed85ea5e33147 |
|
21-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
publishing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16615 cec4b9c1-7d33-0410-9eda-942365e851bb |