| 5a448e9be8c4482a978b174b744237757335140f |
|
22-Feb-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to utf8 default encoding
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16672 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f07f4d3617b70eaed10ca3b79f044ac89416ddb6 |
|
16-Jan-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
add ETYPE keyword
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9441 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4d4ec273e5cb1f17985c6edcf90a295a8b612cef |
|
04-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added esort to CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9288 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ed4ec09b6a2ddd4e88c9da779afb84c1b1db8687 |
|
09-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
Id is fine as Header for top-level files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8299 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7f1da37a850df51eb70161bd009595beccef1bad |
|
29-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added FUN and FUNS keywords
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8185 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 56f88d32043e7228d18e10362a7124e87e8952a7 |
|
28-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added CLASS and CLASSES keywords
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8181 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 374a17994c7c43df4fe2fc6e266bee5601b8dd5f |
|
14-Feb-2007 |
Lutz Schröder <lutz.schroeder@cs.fau.de> |
TYPES really in plural
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7432 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7e8613081e4a95e598878c8ebb5f6d0ce7622c8b |
|
03-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed HetsLabel using two arguments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6765 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1bc038ae778ffec9b9b506b09a0439fe6d6984fc |
|
31-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added labels for identifier
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6745 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b8b9b89d0ff041c8f6293db1546fe27c5ae86b9a |
|
28-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added HetsLabel
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6736 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3221c5ff4cc7e64f133209d8d2c82501a0fc4884 |
|
18-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
centered AltBar
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6681 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 69f43224757b76666b19555a9c61d9f63ddcc745 |
|
18-Jul-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added makro \AltBar
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6679 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 678a7651b991383597d67d20aaa3d77b3e155fb9 |
|
03-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
made VAR a signature keyword
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6565 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 890e11831b06716c9d49edb17c4a533c9e474584 |
|
29-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed size of AND to that of view for symmetry with THEN
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6537 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c8f44afbbce93393ab172a3397c1370f4e859ffc |
|
10-Nov-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added a header line for better distinction of versions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3412 cec4b9c1-7d33-0410-9eda-942365e851bb |
| bfa3df9a76eebd7d6934623e99194ad954be54ea |
|
03-Sep-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
improved various printing and LaTeX tweaks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3131 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3f5ce32a7360129566b1f79719c3ac64d46046a9 |
|
30-Apr-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
removed the in two way wrong definition of \THENIMPLIED
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2528 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a64c611a70bcd732bde5ad2b6fac66bd5942484d |
|
27-Apr-2004 |
Heng Jiang <jiang@tzi.de> |
Kleine Veraenderung fuer Annotation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2484 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 76cf7e0ae7daf5ff98e6fb5392d5a48bad127e61 |
|
22-Apr-2004 |
Heng Jiang <jiang@tzi.de> |
Neuer Befehl \ANNOTEWORD
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2457 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4df73285373b0b16f05d4f06e9020176b1475d1c |
|
20-Apr-2004 |
Heng Jiang <jiang@tzi.de> |
hetcasl.sty
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2422 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 603d4bd61aa1214d2a9ec5871f57b3ee7c11871c |
|
07-Apr-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
corrected newcommand KWC and the todo title
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2368 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f3067870efbc6b41c3dec422a1e03049420abf51 |
|
19-Feb-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
started things for the work of Xavier on LaTeX-stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2206 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8495fae27c0e5428317f4ba8a8afe0b3d33a0047 |
|
16-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2172 cec4b9c1-7d33-0410-9eda-942365e851bb |