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

parse notation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18223 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