src/Pure/PIDE/resources.ML
Fri, 12 Aug 2016 14:19:27 +0200 wenzelm uniform ML and document antiquotations;
Fri, 12 Aug 2016 13:34:59 +0200 wenzelm clarified error;
Thu, 11 Aug 2016 18:26:44 +0200 wenzelm clarified antiquotations;
Sat, 10 Oct 2015 16:21:34 +0200 wenzelm more explicit HTML.symbols;
Fri, 09 Oct 2015 21:16:00 +0200 wenzelm more direct HTML presentation, without print mode;
Mon, 16 Mar 2015 16:26:02 +0100 wenzelm tuned message -- include completion;
Fri, 13 Mar 2015 12:58:49 +0100 wenzelm simplified Command.resolve_files in ML, using blobs_index from Scala;
Tue, 09 Dec 2014 22:13:48 +0100 wenzelm imitate command markup and rendering of Isabelle/jEdit in HTML output;
Wed, 03 Dec 2014 14:04:38 +0100 wenzelm tuned signature;
Fri, 07 Nov 2014 20:06:18 +0100 wenzelm prefer externally provided keywords -- Command.read_thy may degenerate to bootstrap_thy in case of errors;
Fri, 07 Nov 2014 16:36:55 +0100 wenzelm plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
Thu, 06 Nov 2014 15:47:04 +0100 wenzelm more explicit Keyword.keywords;
Thu, 06 Nov 2014 11:44:41 +0100 wenzelm simplified keyword kinds;
Wed, 05 Nov 2014 20:49:30 +0100 wenzelm eliminated pointless dynamic keywords (TTY legacy);
Wed, 05 Nov 2014 20:20:57 +0100 wenzelm explicit type Keyword.keywords;
Sat, 01 Nov 2014 15:35:40 +0100 wenzelm tuned signature, in accordance to Scala version;
Fri, 31 Oct 2014 21:20:06 +0100 wenzelm obsolete;
Fri, 31 Oct 2014 18:56:59 +0100 wenzelm discontinued pointless option: timing is always on (overall theory only);
Tue, 21 Oct 2014 09:50:22 +0200 wenzelm clarified verbatim line breaks, e.g. relevant for Implementation mldecls;
Mon, 20 Oct 2014 16:52:36 +0200 wenzelm official support for "tt" style variants, avoid fragile \verb in LaTeX;
Tue, 12 Aug 2014 20:18:27 +0200 wenzelm tuned signature according to Scala version -- prefer explicit argument;
Tue, 12 Aug 2014 00:08:32 +0200 wenzelm separate module Command_Span: mostly syntactic representation;
Wed, 30 Apr 2014 22:45:26 +0200 wenzelm clarified signature: load_file is still required internally;
Mon, 31 Mar 2014 10:28:08 +0200 wenzelm support bulk messages consisting of small string segments, which are more healthy to the Poly/ML RTS and might prevent spurious GC crashes such as MTGCProcessMarkPointers::ScanAddressesInObject;
Wed, 26 Mar 2014 14:41:52 +0100 wenzelm prefer Context_Position where a context is available;
Wed, 26 Mar 2014 09:07:31 +0100 wenzelm superseded by (provide_)parse_files;
Tue, 18 Mar 2014 17:39:03 +0100 wenzelm clarifed module name;
less more (0) tip