| Tue, 20 May 2014 14:25:28 +0200 |
wenzelm |
explicit treatment of unfinished cartouches, which is important for Thy_Syntax.consolidate_spans;
|
file |
diff |
annotate
|
| Mon, 19 May 2014 14:48:50 +0200 |
wenzelm |
clarified is_text in accordance to ML version (7e0178c84994), e.g. relevant for 'header' syntax in PIDE front-end;
|
file |
diff |
annotate
|
| Fri, 11 Apr 2014 09:36:38 +0200 |
wenzelm |
tuned message, to accommodate extra brackets produced by Scala parsers;
|
file |
diff |
annotate
|
| Tue, 08 Apr 2014 13:24:08 +0200 |
wenzelm |
more precise token positions;
|
file |
diff |
annotate
|
| Sun, 16 Feb 2014 15:38:08 +0100 |
wenzelm |
support ML antiquotations in Scala;
|
file |
diff |
annotate
|
| Sun, 16 Feb 2014 13:18:08 +0100 |
wenzelm |
tuned signature -- emphasize line-oriented aspect;
|
file |
diff |
annotate
|
| Sat, 15 Feb 2014 18:28:18 +0100 |
wenzelm |
more uniform ML keyword markup;
|
file |
diff |
annotate
|
| Fri, 14 Feb 2014 21:06:20 +0100 |
wenzelm |
lexical syntax for SML (in Scala);
|
file |
diff |
annotate
|
| Fri, 14 Feb 2014 16:25:30 +0100 |
wenzelm |
tuned signature (in accordance to ML version);
|
file |
diff |
annotate
|
| Fri, 14 Feb 2014 15:42:27 +0100 |
wenzelm |
tuned signature -- separate Lexicon from Parsers (in accordance to ML version);
|
file |
diff |
annotate
|
| Sat, 25 Jan 2014 16:46:39 +0100 |
wenzelm |
semicolon is minor keyword (see also 29f1e53f9937);
|
file |
diff |
annotate
|
| Sat, 18 Jan 2014 19:31:32 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2014 19:15:12 +0100 |
wenzelm |
support for nested text cartouches;
|
file |
diff |
annotate
|
| Fri, 25 Jan 2013 13:09:34 +0100 |
wenzelm |
clarified notion of Command.proper_range (according to Token.is_proper), especially relevant for Active.try_replace_command, to avoid loosing subsequent comments accidentally;
|
file |
diff |
annotate
|
| Fri, 10 Aug 2012 13:33:07 +0200 |
wenzelm |
clarified undefined, unparsed, unfinished command spans;
|
file |
diff |
annotate
|