| 2857cf346f2387af92b04a43c41e829c00664ed1 |
|
20-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
port to Isabelle2014 |
| c6f4b1be496cc953f6e836b62fc1f59095834e05 |
|
18-Jul-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
properly quit isabelle-process |
| 845e32a612f08026b126b2f0201f73a830d65e6e |
|
28-May-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
corrected isabelle call: removed debugging info
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17977 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 73e88acd4a2912acaba963cf8aae7344a0838929 |
|
28-May-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
corrected isabelle call
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17976 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1b8a6c29c7049d484da96110daee0896c88b87ba |
|
21-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
change for Isabelle2009-1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12989 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a2bc1f84cff8153bc3c9fe9040a570dff8b527fe |
|
28-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
less verbose output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12531 cec4b9c1-7d33-0410-9eda-942365e851bb |
| aabf19c8a0d4bdda25f8029368324d0648fbc509 |
|
24-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
qualified axioms_of for Isabelle2009
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12509 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 83456de6c50dfdc7464ea1c74bf81836c702db2f |
|
28-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
inserted line breaks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12328 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d48b3f098b0961e0be881ef66dc2dc3255a22724 |
|
13-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
Isabelle 2009 change
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11902 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 61ed8286ea9913a9a2a762ae33039f9a1965b8f3 |
|
04-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
reorganized
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10263 cec4b9c1-7d33-0410-9eda-942365e851bb |