History log of /hets/test/IsabelleCoding/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
fa216b2a890ea9efd907dfb6a91cffba16747392 13-Mar-2007 Christian Maeder <Christian.Maeder@dfki.de>

test case of tickets 291 and 292 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7667 cec4b9c1-7d33-0410-9eda-942365e851bb