| dff29710db3d73376ac15c30b7d743d32bf02efd |
|
24-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
automatic generation of abstract syntax from inline axioms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2472 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 426b139bac49aa9cc340bb089481af0f7281c04a |
|
22-Mar-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
redesigned GenerateRules parser based on the DrIFT parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2303 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 78f51585b9ef1095880ddd235a8d41ff9e152fc5 |
|
30-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Darwin (mac) as architecture
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2041 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2363f62e2f4f9e42bd99d5276f237093a7801f2d |
|
23-May-2003 |
Felix Reckers <felix@informatik.uni-bremen.de> |
Added new programm for generating files with derive-commands for DrIFT
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1436 cec4b9c1-7d33-0410-9eda-942365e851bb |