| 8e3951581eae2ee4c13a1db9fe91324628e3ddb0 |
|
13-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
get hets-lib via git |
| 475e4b0179c4b377c7bda6fb1026399e0f95eff5 |
|
27-Jun-2014 |
maeder <maeder@maeder-VirtualBox.(none)> |
corrected syntax error |
| 56fc3db1137e3e7d226ce79dff3b11902d682d1b |
|
27-Jun-2014 |
Christian Maeder <cmaeder@users.noreply.github.com> |
added hets magic and restructed a bit |
| 908b9359fe93caa3522dc20a6ac1a410911412e9 |
|
03-Mar-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
use exec for the hets binary
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18520 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f8a5997d2a41d9658c81f5247e8940c3f56784ab |
|
19-Feb-2014 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.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 |
| 75d37bafaa79a457675aa08524ad706e0ddde7cc |
|
18-Feb-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
actually do revert OWL2Parser.jar
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18498 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f1ad856e8c8cf6b66ae72a6612b4903ee1f80cfc |
|
18-Feb-2014 |
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 |
| dbe01ecc6973b9d63fd718b59741006eae145d8b |
|
18-Feb-2014 |
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 |
| 6e933aed300d092a1ebc4da6f18b175e15beafa3 |
|
15-Aug-2012 |
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 |
| 56f92cc69648f26085eff586c8cb960d846a4d62 |
|
14-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed name of environment variable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17188 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7bbfb15142ab4286dfc6fcde2fc94a5512297e41 |
|
07-Aug-2012 |
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 |
| 6eb335aba416a77cb49ecd390fa3fee7aed55e2e |
|
05-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
only support current isabelle version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17010 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7c8e654372503dab527a7afd98eb84427fd82695 |
|
14-Mar-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
made "hets -update" more robust
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16724 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 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 |
| bc98c290fad74b5748058b2db1509e0cb38d4351 |
|
01-Mar-2012 |
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 |