Changes in hets_script http://src.iws.cs.ovgu.de/source/rss/hets/utils/debian/auto-package/debian-common/hets_script en Copyright 2005 Java get hets-lib via git /hets/utils/debian/auto-package/debian-common/hets_script - 8e3951581eae2ee4c13a1db9fe91324628e3ddb0 cmaeder <cmaeder@users.noreply.github.com> corrected syntax error /hets/utils/debian/auto-package/debian-common/hets_script - 475e4b0179c4b377c7bda6fb1026399e0f95eff5 maeder <maeder@maeder-VirtualBox.(none)> added hets magic and restructed a bit /hets/utils/debian/auto-package/debian-common/hets_script - 56fc3db1137e3e7d226ce79dff3b11902d682d1b Christian Maeder <cmaeder@users.noreply.github.com> use exec for the hets binary git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18520 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/hets_script - 908b9359fe93caa3522dc20a6ac1a410911412e9 Christian Maeder <Christian.Maeder@dfki.de> ensure that wrapper script also works with spaces in paths git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18499 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/hets_script - f8a5997d2a41d9658c81f5247e8940c3f56784ab Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> actually do revert OWL2Parser.jar git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18498 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/hets_script - 75d37bafaa79a457675aa08524ad706e0ddde7cc Christian Maeder <Christian.Maeder@dfki.de> try to update and revert OWL2Parser.jar git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18497 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/hets_script - f1ad856e8c8cf6b66ae72a6612b4903ee1f80cfc Christian Maeder <Christian.Maeder@dfki.de> try to update OWL2Parser.jar, too git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18496 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/hets_script - dbe01ecc6973b9d63fd718b59741006eae145d8b Christian Maeder <Christian.Maeder@dfki.de> removed trailing slash git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17189 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/hets_script - 6e933aed300d092a1ebc4da6f18b175e15beafa3 Christian Maeder <Christian.Maeder@dfki.de> fixed name of environment variable git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17188 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/hets_script - 56f92cc69648f26085eff586c8cb960d846a4d62 Jonathan von Schroeder <sternkinder@gmail.com> added direct support for importing .thy files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17141 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/hets_script - 7bbfb15142ab4286dfc6fcde2fc94a5512297e41 Jonathan von Schroeder <sternkinder@gmail.com> only support current isabelle version git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17010 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/hets_script - 6eb335aba416a77cb49ecd390fa3fee7aed55e2e Christian Maeder <Christian.Maeder@dfki.de> made "hets -update" more robust git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16724 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/hets_script - 7c8e654372503dab527a7afd98eb84427fd82695 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 /hets/utils/debian/auto-package/debian-common/hets_script - dfcf19ace3059f0e6c3d82110973f03200e31c7e Jonathan von Schroeder <sternkinder@gmail.com> Consolidated duplicate files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16683 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/hets_script - bc98c290fad74b5748058b2db1509e0cb38d4351 Jonathan von Schroeder <sternkinder@gmail.com>