Wed, 18 Jul 2012 17:17:38 +0200 | wenzelm | cumulate semantic Session_Info, based on syntactic Session_Entry; | file | diff | annotate |
Wed, 18 Jul 2012 16:24:16 +0200 | wenzelm | more tight treatment of reset_name; | file | diff | annotate |
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 |