History log of /hets/test/HasCASL2IsabelleTests/run.sh
Revision Date Author Comments Expand
52f21faa2887eff21f27e9a16669dd97216884ac 04-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

new location for runisabelle git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10265 cec4b9c1-7d33-0410-9eda-942365e851bb
d6087be434086ef1a79922001fec798bc397c56a 09-Jun-2006 Christian Maeder <Christian.Maeder@dfki.de>

systematic test cases git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6430 cec4b9c1-7d33-0410-9eda-942365e851bb