Changes in hets_script http://src.iws.cs.ovgu.de/source/rss/hets/utils/macports/hets_script en Copyright 2005 Java also use lowercase in hets_script git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14938 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/macports/hets_script - 004b63663b1c5be6e6feddd43a7ca5d20121fa49 Sebastian Raible <freak@informatik.uni-bremen.de> removing isabelle for now; make this prefix-independent git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14932 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/macports/hets_script - 362376ec18a47b75d08144159db14c1a1d4318ec Sebastian Raible <freak@informatik.uni-bremen.de> absolute hets script for macports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14858 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/macports/hets_script - 5a1569832754da5d278b5ebf4f440e759df348a2 Christian Maeder <Christian.Maeder@dfki.de>