src/Doc/System/Interfaces.thy
Mon, 30 Dec 2013 20:35:17 +0100 wenzelm added system option "jedit_print_mode";
Mon, 09 Dec 2013 12:22:23 +0100 wenzelm more antiquotations;
Fri, 06 Dec 2013 21:49:08 +0100 wenzelm tuned;
Tue, 10 Sep 2013 16:09:33 +0200 wenzelm discontinued obsolete command-line tool "isabelle build_dialog";
Fri, 17 May 2013 21:06:01 +0200 wenzelm added isabelle tty option -o;
Sat, 26 Jan 2013 12:45:32 +0100 wenzelm tuned;
Sat, 15 Dec 2012 14:45:08 +0100 wenzelm tuned command line;
Thu, 06 Dec 2012 21:46:20 +0100 wenzelm documentation for isabelle build_dialog and its implicit use in isabelle jedit;
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip