| 44c9ff87cf85ed55f96fe8f57c8c514176ece910 |
|
01-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
cp hets to proper location
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12372 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7e1537f488e74442793195254f74db0d35795b7f |
|
26-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
macs need separate strip as -s for ld does not work
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11607 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f125398f7f66e512fccef7d6b15c6123e8b6443f |
|
21-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Leopard
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11049 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0260ec0511990b5ed9f82f181423cbc2cc362c77 |
|
09-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
install local hets binary
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10283 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 |
| 94250cd870143923467271a83aeb078b4a43d963 |
|
19-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Isabelle path
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9394 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e48570fd9168a95128dfe21912516ae992b17da6 |
|
09-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added /sw/bin
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9155 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ce96e84a0462cfecc3b9cd691ac5e9344aed5aa1 |
|
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@8121 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 394c2bafea761b4ece3dfbf0cd2021c5de8d4874 |
|
13-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to ghc-6.6
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7256 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3cec851b5a4bb9b052074f42b0a2dabd8e645627 |
|
25-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
relink with static readline-5 lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6890 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 |
| 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 |
| 0eeccea151bb8aab8abc269ea6645d58e410ef82 |
|
16-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
the mac script
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5827 cec4b9c1-7d33-0410-9eda-942365e851bb |