Thu, 13 Dec 2018 15:21:34 +0100 | wenzelm | clarified modules and signature; | file | diff | annotate |
Wed, 07 Nov 2018 21:42:16 +0100 | wenzelm | more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations; | file | diff | annotate |
Sat, 22 Sep 2018 16:03:31 +0200 | wenzelm | proper status after commit; | file | diff | annotate |
Sat, 22 Sep 2018 13:22:43 +0200 | wenzelm | clarified errors: no result from forced session.stop, check pending theories; | file | diff | annotate |
Tue, 18 Sep 2018 11:14:30 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Tue, 18 Sep 2018 11:05:14 +0200 | wenzelm | clarified modules; | file | diff | annotate | base |