| 08a31cfa64740460be75101df7d36369b70bfae2 |
|
27-Mar-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted mac cronjobs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18565 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6ab9ce98eebfacac3fd201ea6b9c2c828d57ed16 |
|
14-Feb-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
added tests on Mac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18489 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0ab5dd4d40652faeead24561b8f4c2aae99da254 |
|
11-Feb-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened PATH on MAC
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18477 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c90925daaef0c0524fbcb477f56bf9a846a26e36 |
|
17-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
can run Isabelle2122 with Isabelle2011/lib/scripts/feeder.pl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17201 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0c1610dd0b2899206864d655b7b5f0dd51975e07 |
|
10-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
Isabelle takes too long
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17175 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 756ad3f2077147baef260be968b62f4f92b5161e |
|
08-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
no special intel mac path needed anymore
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14679 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7b274bdc1d0c62d9fa4eaa59d59b295dab2b3922 |
|
15-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
use intel binaries first
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14536 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 242710c50cf08d5d126f11a856092fb276fe29f8 |
|
03-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly copy hets binary
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13026 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ebdf61c93b0a7d750de95b0d776acf1ae23ecd0d |
|
26-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
m29 job
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11606 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 94db5ecf4260f9150852aedd254dfc9723718a28 |
|
21-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
Leopard only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11048 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 482224e644695efc031cf13ebb8029c489ec129c |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10293 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a6e102af395b6e9f082028e62a389309efb0023d |
|
09-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
run more checks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10282 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 |
| acb7b6bffb2977574c1c279c50ddcaf8058ba21f |
|
23-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
set MACOSX_DEPLOYMENT_TARGET to 10.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9968 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 11815f54d25dc3a916f4d463ced3e82e61064f76 |
|
12-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added MACOSX_DEPLOYMENT_TARGET
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9548 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 79ab3749e2c1f4a458fdb8fd651ed73fe2167e6e |
|
09-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added /opt/local/bin for svn
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9154 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1d0794dbcf446cdca6509cab662b5ddccb6d01c3 |
|
13-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added isabelle path
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8591 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2fc892ab24493d38c6dc96a10a28e376d7243906 |
|
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@8122 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ccdf76d6dd7ad60e07e6facfd031aa72dd13a7ee |
|
05-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
cronjob on m29
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7372 cec4b9c1-7d33-0410-9eda-942365e851bb |