Changes in Makefile http://src.iws.cs.ovgu.de/source/rss/hets/utils/GenerateRules/Makefile en Copyright 2005 Java 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 /hets/utils/GenerateRules/Makefile - dff29710db3d73376ac15c30b7d743d32bf02efd Till Mossakowski <mossakow@iws.cs.uni-magdeburg.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 /hets/utils/GenerateRules/Makefile - 426b139bac49aa9cc340bb089481af0f7281c04a Klaus Luettich <luettich@informatik.uni-bremen.de> added Darwin (mac) as architecture git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2041 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/GenerateRules/Makefile - 78f51585b9ef1095880ddd235a8d41ff9e152fc5 Christian Maeder <Christian.Maeder@dfki.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 /hets/utils/GenerateRules/Makefile - 2363f62e2f4f9e42bd99d5276f237093a7801f2d Felix Reckers <felix@informatik.uni-bremen.de>