doc-src/System/Thy/Interfaces.thy
Wed, 15 Aug 2012 12:36:38 +0200 wenzelm some updates of "Presenting theories", using mkroot/build instead of former mkdir/make/usedir (which are still present in "Misc");
Tue, 14 Aug 2012 11:37:58 +0200 wenzelm added jedit option -d;
Mon, 30 Jul 2012 14:29:12 +0200 wenzelm discontinued unused isabelle jedit debugger;
Mon, 30 Jul 2012 14:11:29 +0200 wenzelm more uniform usage of "isabelle tool";
Sat, 28 Jul 2012 13:29:56 +0200 wenzelm isabelle browser is another user interface;
Sat, 28 Jul 2012 13:01:48 +0200 wenzelm top-down order of user interfaces;
Sat, 28 Jul 2012 12:59:53 +0200 wenzelm misc tuning;
Sat, 07 Jul 2012 19:36:50 +0200 wenzelm discontinued XSYMBOL_INSTALLFONTS (cf. 40fab092d2a2);
Sat, 28 Apr 2012 17:53:12 +0200 wenzelm tuned;
Sat, 28 Apr 2012 17:05:31 +0200 wenzelm some coverage of Isabelle/jEdit;
Sat, 28 Apr 2012 16:06:30 +0200 wenzelm some updates concerning current Proof General 4.x, which lacks X-Symbol mode of 3.x;
Mon, 27 Jun 2011 22:20:49 +0200 wenzelm document antiquotations are managed as theory data, with proper name space and entity markup;
Mon, 20 Jul 2009 20:03:19 +0200 wenzelm removed obsolete CVS Ids;
Sun, 30 Nov 2008 14:03:46 +0100 wenzelm removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
less more (0) tip