src/Doc/IsarImplementation/ML.thy
Fri, 04 Apr 2014 12:07:48 +0200 wenzelm added ML antiquotation @{print};
Thu, 27 Mar 2014 17:12:40 +0100 wenzelm clarified Isabelle/ML bootstrap, such that Execution does not require ML_Compiler;
Tue, 18 Mar 2014 11:07:47 +0100 wenzelm tuned signature -- rearranged modules;
Sun, 02 Mar 2014 19:45:38 +0100 wenzelm more antiquotations;
Sun, 02 Mar 2014 19:00:45 +0100 wenzelm clarified names of antiquotations and markup;
Wed, 22 Jan 2014 17:02:05 +0100 wenzelm prefer rail cartouche -- avoid back-slashed quotes;
Mon, 09 Dec 2013 12:22:23 +0100 wenzelm more antiquotations;
Mon, 11 Nov 2013 20:00:53 +0100 wenzelm tuned signature;
Sun, 29 Sep 2013 12:49:47 +0200 wenzelm tuned;
Thu, 19 Sep 2013 19:35:03 +0200 wenzelm repaired latex (cf. 84522727f9d3);
Wed, 18 Sep 2013 13:18:51 +0200 wenzelm improved printing of exception trace in Poly/ML 5.5.1;
Fri, 23 Aug 2013 15:36:54 +0200 wenzelm discontinued unused antiquotation blocks;
Fri, 23 Aug 2013 12:30:51 +0200 wenzelm removed unused ML antiquotations @{let}, @{note};
Sun, 18 Aug 2013 15:10:18 +0200 wenzelm tuned;
Sat, 27 Jul 2013 16:44:40 +0200 wenzelm tuned;
Fri, 21 Jun 2013 13:36:10 +0200 wenzelm clarified strings of symbols, including ML string literals;
Thu, 20 Jun 2013 16:54:05 +0200 wenzelm more on managed evaluation;
Thu, 20 Jun 2013 13:53:12 +0200 wenzelm more on managed evaluation;
Thu, 20 Jun 2013 11:27:43 +0200 wenzelm updated to Isabelle2013;
Thu, 20 Jun 2013 11:08:54 +0200 wenzelm tuned;
Thu, 20 Jun 2013 10:47:00 +0200 wenzelm tuned;
Mon, 08 Apr 2013 15:35:48 +0200 wenzelm document @{make_string}, cf. NEWS of Isabelle2009-2 (June 2010);
Wed, 27 Feb 2013 17:32:17 +0100 wenzelm discontinued redundant 'use' command;
Sat, 26 Jan 2013 16:30:47 +0100 wenzelm some updates concerning Proof General;
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip