History log of /hets/Isabelle/export/test_parser_all.sh
Revision Date Author Comments Expand
da97cb224435c57d2e1acdbff1ba2727aef8c46c 24-Sep-2013 Jonathan von Schroeder <sternkinder@gmail.com>

further improvements git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18225 cec4b9c1-7d33-0410-9eda-942365e851bb

00e7b6ae7da2801da668cfc8246c9a2e5023fb5b 24-Sep-2013 Jonathan von Schroeder <sternkinder@gmail.com>

small script to test the parser on all files in a directory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18217 cec4b9c1-7d33-0410-9eda-942365e851bb