src/Pure/Syntax/syntax.ML
Fri, 25 Sep 2015 19:13:47 +0200 wenzelm tuned signature: eliminated pointless type Context.pretty;
Sun, 29 Mar 2015 19:24:07 +0200 wenzelm tuned signature;
Tue, 24 Mar 2015 11:53:18 +0100 wenzelm clarified input source;
Sun, 30 Nov 2014 12:24:56 +0100 wenzelm more abstract type Input.source;
Wed, 12 Nov 2014 18:18:38 +0100 wenzelm prefer independent parallel map where user input is processed -- avoid non-deterministic feedback in error situations;
Tue, 11 Nov 2014 18:16:25 +0100 wenzelm more position information, e.g. relevant for errors in generated ML source;
Wed, 27 Aug 2014 12:32:42 +0200 wenzelm tuned signature -- prefer quasi-abstract Symbol_Pos.source;
Sun, 06 Apr 2014 16:36:28 +0200 wenzelm more source positions;
Mon, 31 Mar 2014 12:35:39 +0200 wenzelm some shortcuts for chunks, which sometimes avoid bulky string output;
Sat, 01 Mar 2014 23:17:37 +0100 wenzelm tuned signature;
Sat, 01 Mar 2014 22:46:31 +0100 wenzelm clarified language markup: added "delimited" property;
Sun, 26 May 2013 20:42:43 +0200 wenzelm tuned signature;
Sat, 25 May 2013 15:37:53 +0200 wenzelm syntax translations always depend on context;
Thu, 04 Apr 2013 12:06:23 +0200 wenzelm added var_position in analogy to longid_position, for typing reports on input;
Fri, 29 Mar 2013 22:14:27 +0100 wenzelm Pretty.item markup for improved readability of lists of items;
Sun, 25 Nov 2012 19:49:24 +0100 wenzelm Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
Mon, 01 Oct 2012 16:37:22 +0200 wenzelm report sort assignment of visible type variables;
Sat, 17 Mar 2012 13:06:23 +0100 wenzelm added Syntax.read_typs;
Fri, 09 Mar 2012 20:04:19 +0100 wenzelm tuned signature;
Fri, 17 Feb 2012 15:42:26 +0100 wenzelm simplified configuration options for syntax ambiguity;
Thu, 16 Feb 2012 22:18:28 +0100 wenzelm simplified configuration options for syntax ambiguity;
Wed, 15 Feb 2012 13:24:22 +0100 wenzelm renamed "xstr" to "str_token";
Mon, 16 Jan 2012 21:50:15 +0100 wenzelm position constraints for numerals enable PIDE markup;
Thu, 05 Jan 2012 20:26:01 +0100 wenzelm discontinued Syntax.positions -- atomic parse trees are always annotated;
Thu, 01 Dec 2011 12:25:27 +0100 wenzelm renamed inner syntax categories "num" to "num_token" and "xnum" to "xnum_token";
Mon, 28 Nov 2011 22:05:32 +0100 wenzelm separate module for concrete Isabelle markup;
Fri, 25 Nov 2011 23:04:12 +0100 wenzelm removed obsolete argument (cf. 954e9d6782ea);
Fri, 25 Nov 2011 16:32:29 +0100 wenzelm prefer Parser.make_gram over Parser.merge_gram, to approximate n-ary merges on theory import;
Mon, 14 Nov 2011 17:48:26 +0100 wenzelm inner syntax positions for string literals;
Wed, 09 Nov 2011 20:47:11 +0100 wenzelm tuned signature;
less more (0) -100 -50 -30 tip