| Wed, 05 Mar 2014 15:25:52 +0100 |
wenzelm |
special treatment of method combinators like Args.$$$ keywords, although parsed via Parse.$$$;
|
changeset |
files
|
| Wed, 05 Mar 2014 15:24:06 +0100 |
wenzelm |
more thorough (potentially duplicate) markup, e.g. relevant for embedded Args syntax within antiquotations;
|
changeset |
files
|
| Wed, 05 Mar 2014 14:19:54 +0100 |
wenzelm |
suppress short abbreviations more uniformly, for outer and quasi-outer syntax;
|
changeset |
files
|
| Wed, 05 Mar 2014 13:11:08 +0100 |
wenzelm |
clarified init_assignable: make double-sure that initial values are reset;
|
changeset |
files
|
| Wed, 05 Mar 2014 09:59:48 +0100 |
wenzelm |
proper UTF-8;
|
changeset |
files
|
| Tue, 04 Mar 2014 16:16:05 -0800 |
huffman |
fix typo
|
changeset |
files
|
| Tue, 04 Mar 2014 15:26:12 -0800 |
huffman |
remove simp rules made redundant by the replacement of neg_numeral with negated numerals
|
changeset |
files
|
| Tue, 04 Mar 2014 14:14:28 -0800 |
huffman |
tuned proof
|
changeset |
files
|
| Tue, 04 Mar 2014 14:00:59 -0800 |
huffman |
tuned proof script
|
changeset |
files
|
| Tue, 04 Mar 2014 22:30:12 +0100 |
blanchet |
no 'sorry' so that the schematic variable gets instantiated
|
changeset |
files
|
| Tue, 04 Mar 2014 21:42:40 +0100 |
blanchet |
removed junk
|
changeset |
files
|
| Tue, 04 Mar 2014 18:57:17 +0100 |
blanchet |
simplify sets in BNF composition
|
changeset |
files
|
| Tue, 04 Mar 2014 18:57:17 +0100 |
blanchet |
tuning
|
changeset |
files
|
| Tue, 04 Mar 2014 18:57:17 +0100 |
blanchet |
more caching in composition pipeline
|
changeset |
files
|
| Tue, 04 Mar 2014 18:57:17 +0100 |
blanchet |
register relator equations as spec rules only for datatypes -- for codatatypes they underspecify the function and are therefore dangerous (e.g. to Nitpick)
|
changeset |
files
|
| Tue, 04 Mar 2014 18:57:17 +0100 |
blanchet |
updated docs
|
changeset |
files
|