Wed, 18 Jul 2012 14:07:31 +0200 | wenzelm | more informative errors; | file | diff | annotate |
Wed, 18 Jul 2012 13:43:36 +0200 | wenzelm | added parser for Session_Info; | file | diff | annotate |
Tue, 17 Jul 2012 22:34:29 +0200 | wenzelm | basic support for session ROOT files, with examples for FOL and ZF; | file | diff | annotate |
Tue, 17 Jul 2012 15:56:19 +0200 | wenzelm | basic setup for Isabelle build tool; | file | diff | annotate |