| 8c956743a66ec25d52b43fc4b1c07ef12dd5db8e |
|
23-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
increase memory for mac |
| 9c1c5e45410a5a0bbaaac57b2839d11249ac6a66 |
|
10-Sep-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
select proper hets |
| 057d0363dcf7693894be5a0c1ff7cb5d00be6ba1 |
|
09-Sep-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added conservativity test |
| af1122784feb2b1502c46359c8ed74529ddfbf9b |
|
08-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
changed Hets-lib from svn to git and added json output |
| dbaed83d44ac58f53a835de1976d32a317d59f88 |
|
01-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
adjusted cronjob for solaris and branches |
| 36cbde136f2922db7c675d4684eabc57aaa20ed6 |
|
22-Jul-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
clone with depth also bioportal |
| a3cfd3b3950b17dbac389f0743418dad4eeb7df3 |
|
27-Jun-2014 |
Christian Maeder <cmaeder@users.noreply.github.com> |
also export HETS_MAGIC |
| 840b08c302129094eed7007c525d0f059749c6cd |
|
27-Jun-2014 |
Christian Maeder <cmaeder@users.noreply.github.com> |
setup hets.magic file |
| b6bf1c71ad6b40d8496173fd2b5049fd90f1e0ab |
|
27-Jun-2014 |
Christian Maeder <cmaeder@users.noreply.github.com> |
move hets.magic on the web for updates |
| 3c77b1bd3faf286b5e0ac6b0c05ac3373f57cfcc |
|
27-Jun-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch from svn to git |
| 3a9fd7d03a074c4f3c7e733005d50a6159eb10b3 |
|
24-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18582 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 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 |
| fa7f5a2ac37227a778b5d2492e5e2f62791d70e7 |
|
14-Feb-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
added bioportal test case
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18491 cec4b9c1-7d33-0410-9eda-942365e851bb |
| dc2e93489608be1f04bb3d90bf900b57da77dc61 |
|
14-Feb-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed junk
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18486 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0181f5d5fdbf3ee56b42c48ca5bb84195241e76e |
|
11-Feb-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
added test cases for clif and Hets-lib https svn
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18481 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c774c4f33d3e117bdc4f6bb791f0e703c1e3250a |
|
06-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
omit file listing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18419 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 652a43918a48f68d520f849be7e3a2c8a0a51801 |
|
02-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more quiet flags
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18352 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 33e0c26060953dd36cd35e73ac5fef73e08f97e5 |
|
28-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
do quiet checkout as order of files varies anyway
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18337 cec4b9c1-7d33-0410-9eda-942365e851bb |
| adcceb74857374e3caac872554d47076acb33c1c |
|
19-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove HOLCF test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17587 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7c42a62272caf8fd2c0e0ff2a16376f01708e456 |
|
26-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added model check test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16979 cec4b9c1-7d33-0410-9eda-942365e851bb |
| fe74012f65465c9e7faec0ab39af6a940bf96f88 |
|
23-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignore Hets-lib/CommonLogic/colore externals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16816 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d578953b0c82517b7b3413d55efde0d8e1f8f695 |
|
24-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted to moved hol files spechub/Hets@aecb6dd5fe65b426c7044c9009ee4a6e3d9783b6
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16485 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 |
| a509a10126740192678d681af88821bad28dcc69 |
|
20-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
preserve original files when copying
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16348 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b0f8b45cde2ce1fdca13acc246e1ed9a8a31833b |
|
09-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
repeat to overcome solaris failures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16112 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 394102a1ff35703ba0c13328ea1299230bd9f599 |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-check .th files without warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15881 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d8da686dd0d443cac64012ba662eecc2d9072ce5 |
|
04-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
check re-created xml output several times
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15873 cec4b9c1-7d33-0410-9eda-942365e851bb |
| bb8dcc8e3899a4bee94a88e73537b54a1b66badf |
|
03-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved hetcasl.sty copying
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15851 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e462aa2af9c6b670abe54c714fd48f4a28cfd082 |
|
01-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed OWL to OWL2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15806 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 46893fed483a9a96e8090656f3f19b5b3ab63bf9 |
|
18-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15586 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cfa9a43932ebdd2a2cbfdd80172c15600b38fad8 |
|
15-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more checks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15574 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 834fe15dff6ee55368b20dd6c019e2933545123f |
|
18-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected find pattern
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14959 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 98e010c762c780fd9cefca2e2be0802bb3b261e7 |
|
18-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed find pattern
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14958 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8994ceb5a1204cd0863b0b21969fd463684ba9c7 |
|
18-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added PELLET_PATH
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14952 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3a62eda02940194eb807e5f62926af13e18188e7 |
|
18-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
add CspCASL tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14949 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5945539cfa4a0df1876fecd475b7817178a5f2da |
|
11-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
add comment to GHCRTS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14699 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 720952fceb110e4e76cd8253a8c6b884140fdc6b |
|
22-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
case distinction unnecessary for linux
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14600 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d81739652c65486391c9c60f908f2d1cbb04c5fa |
|
17-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected locale
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14571 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1fca6ba1e090fcc04b7a652e490503c567f55606 |
|
15-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch to utf8
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14537 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0f71029957c6d6aca2860f97c7feb1ca5aecbfca |
|
14-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch to Isabelle2011
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14528 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6338bacc9347ea2befed72dc5dac4bc25c340780 |
|
09-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted svn co to cleaned up Hets-lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14035 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 395cf1684c86a74f3be7a8ec1bbb4de3b2a78bce |
|
07-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14022 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1c09855331d3f125210ae4598d770c7f07e154b1 |
|
07-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
correct spelling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14011 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6d19d1f53f8d03e4341b1bf311da7aa8a7c7e467 |
|
01-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove diploma theses from Hets-lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13963 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1fa7781cf5e32fecc33255e1c64176f69cc2292f |
|
23-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
only copy .so files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13924 cec4b9c1-7d33-0410-9eda-942365e851bb |
| bcf2eeeaf13e45e11a5ca8d7cc3ec9ab11b8f12e |
|
23-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
also install fact++ dynlibs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13923 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 29c9a2c561f48cb51d4b1f4c45c358134add286c |
|
26-May-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
correct grep string
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13442 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 14b77674b0c63f784dc41108220ec6a430b9feaa |
|
26-May-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added test for CASL2PCFOL #806
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13441 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1bff458838159e692011feab9cb0366aaeb0d704 |
|
22-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
ghc-6.12.1 needs locale set to read isolatin text
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12999 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 014dc30f64ec25e4790cca987d4d1e6635430510 |
|
11-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove test_parser from tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12826 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6a7bcbded8a9372268b3dbbe57c4fc1ef06afcb1 |
|
06-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
made CASL2TopSort more usable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12794 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3946655ac37ea4765c0d209117f96afdd19603af |
|
19-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Calculi/*/*.hpf cases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12666 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6c5bdd5a051d8ab39d182f47c2e68ab7cf24f645 |
|
17-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
current cronjob for batch testing .hpf files #680
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12471 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f6b847973593fab7e9411cf96664551b38a434da |
|
01-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove some .pp.het files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12370 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8d16bdf080c5976d1b00bd32905ff7378e82eda9 |
|
13-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
create owl tools
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11900 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2adbe79d5c0f688450841a68de341f8cea66ff9a |
|
30-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added hpf check command that does not go through currently #680
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11848 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cb639f850de16b952b834985887f970a18ccf0b3 |
|
26-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
current job
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11603 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9d322d094c96235e368a30b83f7616f72932e096 |
|
17-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added calling 'ant init'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11168 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c38ef565517fb6295b79ef90a2846c7e7af18b6f |
|
25-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10735 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f5bc6485e3eb2c70baea52a335d2339dd2a72cde |
|
24-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added check of Examples
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10729 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8f80d081254d13a1298e476335bcdfda9093647c |
|
21-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed comorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10557 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0a082cbd11d7d34f82c021f6f0434f840e945846 |
|
06-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added grep on log files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10462 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2a05c19a592064452a31b94a36b692888cf39cff |
|
24-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10386 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c1e989e888346e2bf030052624008b2cad4a2ea0 |
|
14-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
(two) more consistency checks with darwin
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10310 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e8f114b842856d765d6f8f748d9717c924450efc |
|
09-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added darwin test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10291 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b7b9db5aa9a0290fae41464e5dd39b6210b23a52 |
|
08-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
create tptp files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10276 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b87bc71137a46a4dee4797a88f8e820f2de087d8 |
|
08-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid some tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10275 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 |
| 19eebc6005ef7997d4cfa54aadc714a0767e8e6f |
|
06-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected path
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10267 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 61ed8286ea9913a9a2a762ae33039f9a1965b8f3 |
|
04-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
reorganized
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10263 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c580d592658860bf011b97687753092552421057 |
|
17-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
make uni via cabal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9773 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b41b0740ca70893192c65a90356f81f0d7e75fb1 |
|
13-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more checks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8588 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 66bca539ac552a275afcd41d54a18ef8d2bc4d21 |
|
22-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to svn
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8119 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 425f24e180891530bb91f6201a240b16a65e9e9b |
|
13-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
GHCRTS is still required for fast ATerm generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7424 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0f1d6e6027943f674caffec12ff0662b33884342 |
|
01-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added initial package_clean
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7221 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2b4da0b358bcf58e10f41699b24526abd4edb496 |
|
24-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
compiling via make depend is much faster
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7198 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 640d19eab506cada3797a1aacac2f6aff0788c61 |
|
15-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
check Basic/*.casl separately
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6026 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1477ec267b4994d19111f0d1bcb8d6a4d476131e |
|
16-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
move making of RemoveSplices to runhaddock.sh
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5834 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 925e1dc0c77f50418ecb7d875f040e7d294b1baf |
|
16-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
runhaddock in uni needs RemoveSplices
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5833 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 612782d45a76d33b5e078da8e0a0977de0f83356 |
|
16-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed lib tests, check out uni and programatica
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5829 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8e2387e0117a9f16ab678f87ea18bc6991cb5843 |
|
16-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
cronjob part for all architectures to be included
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5824 cec4b9c1-7d33-0410-9eda-942365e851bb |