| dbeb8584c06e52eb8f1805f60ec7726bf54b1e94 |
|
27-Jun-2014 |
maeder <maeder@maeder-VirtualBox.(none)> |
also install hets.magic |
| 94c1b69c65a822960db03a77790cb04077631048 |
|
25-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
use UbuntuMakefile for launchpad
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18594 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e92a0dabdb52b8cd872a9c17dcd98cbd6ea1ffe0 |
|
25-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added due to memory problems
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18593 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2599365a74505f67fa5424d47dad85c1a27ef1cc |
|
25-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
make depend is no longer needed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18590 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 151820e24be04a646bd73c1dace7a4914a20f7c8 |
|
08-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed a typo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17144 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 |
| 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 |