| 004b63663b1c5be6e6feddd43a7ca5d20121fa49 |
|
16-Apr-2011 |
Sebastian Raible <freak@informatik.uni-bremen.de> |
also use lowercase in hets_script
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14938 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 362376ec18a47b75d08144159db14c1a1d4318ec |
|
16-Apr-2011 |
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 |
| 5a1569832754da5d278b5ebf4f440e759df348a2 |
|
06-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
absolute hets script for macports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14858 cec4b9c1-7d33-0410-9eda-942365e851bb |