| Sun, 30 Nov 2014 12:24:56 +0100 |
wenzelm |
more abstract type Input.source;
|
file |
diff |
annotate
|
| Wed, 26 Nov 2014 20:05:34 +0100 |
wenzelm |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
file |
diff |
annotate
|
| Tue, 11 Nov 2014 18:16:25 +0100 |
wenzelm |
more position information, e.g. relevant for errors in generated ML source;
|
file |
diff |
annotate
|
| Fri, 07 Nov 2014 16:36:55 +0100 |
wenzelm |
plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
|
file |
diff |
annotate
|
| Wed, 05 Nov 2014 20:20:57 +0100 |
wenzelm |
explicit type Keyword.keywords;
|
file |
diff |
annotate
|
| Fri, 26 Sep 2014 15:10:02 +0200 |
wenzelm |
proper range for Antiq tokens;
|
file |
diff |
annotate
|
| Sat, 15 Mar 2014 16:54:32 +0100 |
wenzelm |
tuned markup;
|
file |
diff |
annotate
|
| Sat, 15 Mar 2014 15:49:23 +0100 |
wenzelm |
more markup;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 22:46:31 +0100 |
wenzelm |
clarified language markup: added "delimited" property;
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 20:56:29 +0100 |
wenzelm |
more markup;
|
file |
diff |
annotate
|
| Mon, 17 Feb 2014 11:14:26 +0100 |
wenzelm |
more markup;
|
file |
diff |
annotate
|
| Wed, 22 Jan 2014 17:02:05 +0100 |
wenzelm |
prefer rail cartouche -- avoid back-slashed quotes;
|
file |
diff |
annotate
|
| Fri, 17 Jan 2014 20:31:39 +0100 |
wenzelm |
prefer user-space tool within Pure.thy;
|
file |
diff |
annotate
| base
|