| eb72017493a8f148fd3dbb743b77691eda26f505 |
|
14-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
switsch to Isabelle2014 |
| 63fc94f567ecebb84cba46d432d46829c43cf39c |
|
27-Feb-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
copy OWL2Parser.jar to download area
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18512 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 19c73d206088ad025e8a7c3523375b7ab822e6e4 |
|
19-Feb-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
current linux cronjob
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18503 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d6db62d9190b0e5524855a4160e18ae32061ade2 |
|
13-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch to Isabelle2013-2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18435 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 020e523c8e869bbd2dd19af560a32a2a9b6f6370 |
|
06-Mar-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch to Isabelle2013
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17784 cec4b9c1-7d33-0410-9eda-942365e851bb |
| aa8d90a5b166555b6a81d367b3291906c9bfa1f9 |
|
01-Feb-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted PATH to current Isabelle version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17741 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 75936d7346df559bd02598a3105c547b072e0035 |
|
13-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
powerpc bigmac is gone and ghc-7.4.1 produces different omdoc (and haskell) output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16799 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e15f646c3515246b154a17439f2488c01ef48512 |
|
19-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
HolLight needs an image now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16560 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7086a002e32863455dcfa347bf43639beaca1034 |
|
21-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added hol-light stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16477 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f5b7febbd0ca5025971700cb9d01c999ea2b9fff |
|
20-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch to Isabelle2011-1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16349 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7e2fdd161a05c6626ff16b137970fe28de79d103 |
|
04-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed bigmac invocation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15872 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ae20210b055e7a2ff7f09c0e9e56dc27f64ac9d2 |
|
23-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
continue intel mac builds on a01
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15271 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 34b3811bbfc223d76b80a3296343717b8d97c769 |
|
14-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch to Isabelle2011
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14529 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 30b33e373538d0a63ed2fc7069cbf763e7de63d6 |
|
12-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added --force
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13714 cec4b9c1-7d33-0410-9eda-942365e851bb |
| dc52ba423d5f4ecda4c5dee53b140e022d329acf |
|
11-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added twelf update
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13198 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7681772deeac3a644a8fdb739520b1ff0013db09 |
|
03-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
current job
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13024 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d1ec6df83081eaaa67f47c1fa5fe71d6d9783c1c |
|
18-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
current cronjob
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12981 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 83d812b7f526408455680c081ab777c228c27687 |
|
08-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
by checkEnvs also *.prf files are created for checkPrfs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12592 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d47092a8a98a91551f7ca444d4ff929904ed0bd5 |
|
01-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed from m29 to m17
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12371 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c4fb1f0423ea83a5362557b2ee31dbbd192907bb |
|
13-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
also make owl tools
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11901 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1b6f0a484a82c93828d8e09540de372db0d68a69 |
|
26-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
current denebola job
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11604 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 91137f350d01b02d9d8d3967cae680eecc3ad8ca |
|
24-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
install mac jobs and wake them up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11194 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c8770787348d449cea69fa77d7b9abe41e758308 |
|
09-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added Haskell to HOLCF tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10290 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b7626913d1833e29c887d93a28c0aa0b33e057e2 |
|
07-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved nightly bash code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10269 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 |
| d596b06ffd5cd81e45fd450bb7d773b0e6754a69 |
|
23-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
pack whole Hets-lib directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9969 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d8e20f499cfa5576ad2cfb200effdde6790b5ecd |
|
03-Jan-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to changed www server
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9407 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7d8452ab1f9ca2f6092c73e34831117bed54c59a |
|
06-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
current tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9325 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f65bea09e0a59c3bcf23d04c8a9e2a5144ac09b2 |
|
13-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
minor corrections
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8589 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 |
| d0c2078d146875771569c8c3ba5690389610b35f |
|
21-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
use pdflatex and avoid Real.het
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7736 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8ab8af8d016f9197fa1068858ddfc166f75246e0 |
|
13-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added CASL-lib update for hets.cgi
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7666 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4fba76cc76423d5a44c7a44dc42c428b199f6637 |
|
13-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed GHCRTS for ghc-6.6
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7258 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1b957bb41c1b9d635085dec8893d19e33c5f42ef |
|
04-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added copying of hetcasl.sty for the web interface
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6779 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ee22734c9592e3e456c9081708eaeea40057e786 |
|
07-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
h2hf is no longer needed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6423 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5dbf02d7e5d3b12b4b24def93c1ef84f32059d1a |
|
15-May-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed path
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6322 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 800922d7400bbd47064978f3ecd2465995be39e6 |
|
25-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted binaries, try ghc-6.4.2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6256 cec4b9c1-7d33-0410-9eda-942365e851bb |
| df29370ae8d8b41587957f6bcdcb43a3f1927e47 |
|
20-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved h2h and h2hf from ToHaskell to Haskell
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6074 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cc64114f41324d39a0d8705145abe0f9a7092235 |
|
20-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
install binary in /home/linux-bkb/bin/
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6058 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 584ada6d0153dd28accb2d463a104ac758583e4a |
|
16-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
also put binary in /home/linux-bkb/bin/
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6029 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f7c044121d8b468d2b8ec36c1f36005dab4d4bdd |
|
14-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
use bzip2 with -k(eep) option
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6002 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f63542473cfd142d1d19f2abdf7f8b10679c9716 |
|
09-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
pass arguments as parameter
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5941 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b69349daad8b8bcf508c9b0a5378470c35e187ba |
|
03-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed overwriting of *.sh files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5907 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 859191c350ba478f93aab79661133afcca1b1631 |
|
03-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
also strip h2hf
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5905 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 37a79519bac010bc5e3aa8ab8186e2e634dd7688 |
|
02-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added h2hf and documented a bit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5902 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 683aaf604e9a74f915b38b8082fa9f4e4fec2f5a |
|
02-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduced work
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5897 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6809e974f93924c80a216f24487ecc8e1f8599db |
|
28-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
fgrep the proper file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5875 cec4b9c1-7d33-0410-9eda-942365e851bb |
| def0383c0822695cb41c5bf7f0b52a5c65eafb43 |
|
24-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduced cases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5866 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 216aa19455bfd7192450c3367843561c05c7b157 |
|
20-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
try runisabelle without login shell
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5853 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1c0483c91f53e78950baecd5518f9e5bdc34e42e |
|
17-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
also read .env und .prf files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5846 cec4b9c1-7d33-0410-9eda-942365e851bb |
| dee5d6f1178dd719703df63cb6561441fcc356b1 |
|
17-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
test (almost) anything
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5845 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 |
| 293a4c712b5a1c6193302508213bb6245ffd1c26 |
|
16-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
my scripts under linux in /local/home/maeder/haskell
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5825 cec4b9c1-7d33-0410-9eda-942365e851bb |