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