wenzelm [Wed, 05 Mar 2014 15:25:52 +0100] rev 55917
special treatment of method combinators like Args.$$$ keywords, although parsed via Parse.$$$;
wenzelm [Wed, 05 Mar 2014 15:24:06 +0100] rev 55916
more thorough (potentially duplicate) markup, e.g. relevant for embedded Args syntax within antiquotations;
wenzelm [Wed, 05 Mar 2014 14:19:54 +0100] rev 55915
suppress short abbreviations more uniformly, for outer and quasi-outer syntax;
tuned signature;
wenzelm [Wed, 05 Mar 2014 13:11:08 +0100] rev 55914
clarified init_assignable: make double-sure that initial values are reset;
more systematic reports for Args.syntax: indicate Args.$$$ quasi-keywords and suppress confusing completion of single symbols like ":", "|", "?";
wenzelm [Wed, 05 Mar 2014 09:59:48 +0100] rev 55913
proper UTF-8;
huffman [Tue, 04 Mar 2014 16:16:05 -0800] rev 55912
fix typo
huffman [Tue, 04 Mar 2014 15:26:12 -0800] rev 55911
remove simp rules made redundant by the replacement of neg_numeral with negated numerals
huffman [Tue, 04 Mar 2014 14:14:28 -0800] rev 55910
tuned proof
huffman [Tue, 04 Mar 2014 14:00:59 -0800] rev 55909
tuned proof script
blanchet [Tue, 04 Mar 2014 22:30:12 +0100] rev 55908
no 'sorry' so that the schematic variable gets instantiated