| dfcf19ace3059f0e6c3d82110973f03200e31c7e |
|
01-Mar-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
* Fixed an issue with hets_script when isabelle is not installed
* Added information about HolLight to hets.1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16684 cec4b9c1-7d33-0410-9eda-942365e851bb |