| Sun, 27 May 2018 13:42:01 +0200 |
wenzelm |
markup for deleted fragments of token source (NB: quoted tokens transform "\123" implicitly);
|
file |
diff |
annotate
|
| Mon, 14 May 2018 09:39:27 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 18 Jan 2018 21:42:03 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Sun, 14 Jan 2018 15:06:27 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 14 Jan 2018 14:11:02 +0100 |
wenzelm |
clarified modules: uniform notion of formal comments;
|
file |
diff |
annotate
|
| Sat, 13 Jan 2018 11:22:46 +0100 |
wenzelm |
added \<^cancel> operator for unused text;
|
file |
diff |
annotate
|
| Sun, 07 Jan 2018 15:12:00 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 17:56:14 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 17:37:46 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 31 Mar 2016 16:23:25 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 31 Mar 2016 15:42:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 29 Mar 2016 20:53:52 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 06 Mar 2016 16:19:02 +0100 |
wenzelm |
clarified treatment of fragments of Isabelle symbols during bootstrap;
|
file |
diff |
annotate
|
| Sun, 24 Jan 2016 14:58:56 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 20 Jan 2016 14:32:56 +0100 |
wenzelm |
tuned signature (according to Scala version);
|
file |
diff |
annotate
|
| Thu, 19 Nov 2015 22:35:10 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 19 Nov 2015 22:06:14 +0100 |
wenzelm |
trim lines for @{theory_text} similarly to @{text};
|
file |
diff |
annotate
|
| Thu, 22 Oct 2015 21:16:27 +0200 |
wenzelm |
clarified scan_cartouche_depth (amending 8284c0d5bf52): finish after outermost cartouche;
|
file |
diff |
annotate
|
| Sun, 18 Oct 2015 21:30:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2015 22:25:57 +0200 |
wenzelm |
trim_blanks after read, before eval;
|
file |
diff |
annotate
|
| Mon, 08 Dec 2014 22:42:12 +0100 |
wenzelm |
expand ML cartouches to Input.source;
|
file |
diff |
annotate
|
| Sun, 30 Nov 2014 12:24:56 +0100 |
wenzelm |
more abstract type Input.source;
|
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
|
| Sat, 01 Nov 2014 19:33:51 +0100 |
wenzelm |
recover via scanner;
|
file |
diff |
annotate
|
| Fri, 31 Oct 2014 22:02:49 +0100 |
wenzelm |
discontinued obsolete \<^sync> marker;
|
file |
diff |
annotate
|
| Fri, 31 Oct 2014 21:10:11 +0100 |
wenzelm |
discontinued obsolete tty and prompt;
|
file |
diff |
annotate
|
| Wed, 27 Aug 2014 12:32:42 +0200 |
wenzelm |
tuned signature -- prefer quasi-abstract Symbol_Pos.source;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 23:17:37 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 22:46:31 +0100 |
wenzelm |
clarified language markup: added "delimited" property;
|
file |
diff |
annotate
|
| Mon, 24 Feb 2014 10:48:34 +0100 |
wenzelm |
clarified Token.range_of in accordance to Symbol_Pos.range;
|
file |
diff |
annotate
|