src/Pure/Tools/rail.ML
Fri, 01 Apr 2016 21:34:17 +0200 wenzelm more markup;
Fri, 01 Apr 2016 17:37:46 +0200 wenzelm tuned signature;
Tue, 29 Mar 2016 14:03:26 +0200 wenzelm tuned signature;
Sun, 18 Oct 2015 21:30:01 +0200 wenzelm tuned signature;
Sun, 18 Oct 2015 20:28:29 +0200 wenzelm clarified control antiquotations: decode control symbol to get name;
Sat, 17 Oct 2015 20:27:12 +0200 wenzelm clarified Latex.environment;
Fri, 16 Oct 2015 10:11:20 +0200 wenzelm clarified Antiquote.antiq_reports;
Thu, 15 Oct 2015 22:25:57 +0200 wenzelm trim_blanks after read, before eval;
Mon, 06 Apr 2015 17:20:10 +0200 wenzelm clarified rail syntax;
Wed, 25 Mar 2015 11:39:52 +0100 wenzelm tuned signature;
Sun, 30 Nov 2014 12:24:56 +0100 wenzelm more abstract type Input.source;
Wed, 26 Nov 2014 20:05:34 +0100 wenzelm renamed "pairself" to "apply2", in accordance to @{apply 2};
Tue, 11 Nov 2014 18:16:25 +0100 wenzelm more position information, e.g. relevant for errors in generated ML source;
Fri, 07 Nov 2014 16:36:55 +0100 wenzelm plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
Wed, 05 Nov 2014 20:20:57 +0100 wenzelm explicit type Keyword.keywords;
Fri, 26 Sep 2014 15:10:02 +0200 wenzelm proper range for Antiq tokens;
Sat, 15 Mar 2014 16:54:32 +0100 wenzelm tuned markup;
Sat, 15 Mar 2014 15:49:23 +0100 wenzelm more markup;
Sat, 01 Mar 2014 22:46:31 +0100 wenzelm clarified language markup: added "delimited" property;
Wed, 19 Feb 2014 20:56:29 +0100 wenzelm more markup;
Mon, 17 Feb 2014 11:14:26 +0100 wenzelm more markup;
Wed, 22 Jan 2014 17:02:05 +0100 wenzelm prefer rail cartouche -- avoid back-slashed quotes;
Fri, 17 Jan 2014 20:31:39 +0100 wenzelm prefer user-space tool within Pure.thy;
less more (0) tip