Changes in rules http://src.iws.cs.ovgu.de/source/rss/hets/utils/debian/auto-package/debian-common/rules en Copyright 2005 Java also install hets.magic /hets/utils/debian/auto-package/debian-common/rules - dbeb8584c06e52eb8f1805f60ec7726bf54b1e94 maeder <maeder@maeder-VirtualBox.(none)> use UbuntuMakefile for launchpad git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18594 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/rules - 94c1b69c65a822960db03a77790cb04077631048 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 /hets/utils/debian/auto-package/debian-common/rules - e92a0dabdb52b8cd872a9c17dcd98cbd6ea1ffe0 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 /hets/utils/debian/auto-package/debian-common/rules - 2599365a74505f67fa5424d47dad85c1a27ef1cc Christian Maeder <Christian.Maeder@dfki.de> fixed a typo git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17144 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/debian/auto-package/debian-common/rules - 151820e24be04a646bd73c1dace7a4914a20f7c8 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/rules - 7bbfb15142ab4286dfc6fcde2fc94a5512297e41 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/rules - bc98c290fad74b5748058b2db1509e0cb38d4351 Jonathan von Schroeder <sternkinder@gmail.com>