src/Pure/Tools/rail.ML
Fri, 03 Apr 2020 17:35:10 +0200 wenzelm less redundant markup reports;
Fri, 03 Apr 2020 13:51:56 +0200 wenzelm more accurate context position reports;
Sun, 10 Mar 2019 21:12:29 +0100 wenzelm document markers are formal comments, and may thus occur anywhere in the command-span;
Fri, 04 Jan 2019 21:49:06 +0100 wenzelm support for isabelle update -u control_cartouches;
Sat, 03 Feb 2018 20:34:26 +0100 wenzelm more uniform treatment of formal comments within document source;
Thu, 18 Jan 2018 21:41:30 +0100 wenzelm clarified access to antiquotation options;
Sun, 14 Jan 2018 14:11:02 +0100 wenzelm clarified modules: uniform notion of formal comments;
Tue, 09 Jan 2018 17:09:34 +0100 wenzelm clarified markup: more like outer syntax side-comment;
Tue, 09 Jan 2018 16:25:35 +0100 wenzelm clarified rail token language: white space and formal comments;
Tue, 09 Jan 2018 15:40:12 +0100 wenzelm clarified modules;
Mon, 08 Jan 2018 23:45:43 +0100 wenzelm theory Pure is default presentation context;
Wed, 06 Dec 2017 18:59:33 +0100 wenzelm prefer control symbol antiquotations;
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