| 59bf2cbc8c9db930c1057a66056544db3bb06054 |
|
31-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
current cronjobs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17079 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 62feb358c1c3f0ab21b91e411b125cb44315afc3 |
|
09-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
run fewer tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10284 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 07401706fc5ac72093ac094d81f18bb4f49ddb8d |
|
06-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
current cronjobs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10268 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 50656b268925dcfc6a1e8326a4fa52d55368b800 |
|
25-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
current cronjob path
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10205 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4c432734380d1dc22ca0636b2a10cf4f2b6c1d69 |
|
23-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added /usr/local/lib to LD_LIBRARY_PATH
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9970 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2862cf83a40204b4b255745ec9a2a4a1b98acd4f |
|
14-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
use my local svn installation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9175 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 52dc47a388fe7d89bd09a87b755725fd80af08d8 |
|
22-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to svn switch
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8123 cec4b9c1-7d33-0410-9eda-942365e851bb |
| eae398d41705bf1ce5d3214c6e13152a817f4853 |
|
13-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
used ghc-6.6 and build in ~/haskell/V240-solaris
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7257 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2080f1f25b2efc80f4caf8a7d89483a04a35f4e5 |
|
03-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not copy cronjob.sh
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5913 cec4b9c1-7d33-0410-9eda-942365e851bb |
| fb5de39a9fd99440ca7d43dfce4dbac9dbcab26e |
|
16-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
makeUni would not work under solaris due to a missing GNU ld
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5831 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c825098ed9feb5d0ab1bfa38719e102829f48eff |
|
16-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
copy scripts for the following nights
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5830 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 010c2ff527dcdcdec75ae1389a1fdc528d36602b |
|
16-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
my solaris wrapper script
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5826 cec4b9c1-7d33-0410-9eda-942365e851bb |