4edebbc87f6686cea89c00cefda6e16e049c6d8c |
|
18-Mar-2014 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Added documentation for Hybrid Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18552 cec4b9c1-7d33-0410-9eda-942365e851bb |
e25f8c6234c9184e49ee346abebb5f961851c4a5 |
|
23-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
refined Haskell and ExtModal entry
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17900 cec4b9c1-7d33-0410-9eda-942365e851bb |
8abeacc4c52cd151900280e83d675d7140e1f68a |
|
23-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Fpl reference and removed duplicate years and short booktitles
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17897 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
6da256dc5192c4ce031c79d312163f3add327507 |
|
21-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
AAL example
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16612 cec4b9c1-7d33-0410-9eda-942365e851bb |
3952a5c632e9e4ed036aa2eb378b9ef86070ca6d |
|
20-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
minor formatting
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16609 cec4b9c1-7d33-0410-9eda-942365e851bb |
a17349d0247036407c22e632ece0e8f2b736253c |
|
18-Jan-2012 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Intro to CL user guide, something on TPTP and THF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16592 cec4b9c1-7d33-0410-9eda-942365e851bb |
a22936ffa58b0b92b957098a1ebc75a22cc48f85 |
|
18-Jan-2012 |
Christoph Lange <math.semantic.web@gmail.com> |
fixed some typos and formatting issues
updated some references
syntax highlighting in listings
added myself (Christoph Lange) as author
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16590 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd29aea0190ac8707f2a0896a4a4b8bb2aac13ff |
|
01-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Doc: Hets for CL Users
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16073 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b41220e2b76251e0bb0760c016e79994bb2c2bb |
|
28-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added VSE00 reference
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13402 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b465790447d54472837f1084ed3e751c745d0dc |
|
30-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
improved definition of lifted function spaces and explanation of newtype translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8510 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7eefd526faedd63acb8f91de5793368cfe67655 |
|
13-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
revised section 10 (Proofs with Hets); the Isabelle description is only slightly changed; added hyperref and url support.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8350 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 |
2c66eeb1cc9ad264525901f10c35c66638f91865 |
|
25-Mar-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
improved documentation about comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7756 cec4b9c1-7d33-0410-9eda-942365e851bb |
df606e2da8f4d2b866aa3f45ede5fc2343d0dec3 |
|
21-Mar-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
fixed bib errors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7727 cec4b9c1-7d33-0410-9eda-942365e851bb |
9c3b1fb1952bb78a1942fe612215f940fc8e5f31 |
|
21-Mar-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
finalization for 0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7724 cec4b9c1-7d33-0410-9eda-942365e851bb |
89118fd658073a87eddf4ead4bb63c6adb30550d |
|
19-Mar-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
first half towards 0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7702 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3f2015ae170a15e5b57d4880ded53073d725ac0 |
|
08-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
First draft
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2097 cec4b9c1-7d33-0410-9eda-942365e851bb |