| Thu, 25 Jan 2018 16:50:27 +0100 |
wenzelm |
allow cartouche within ML string;
|
file |
diff |
annotate
|
| Mon, 15 Jan 2018 14:31:57 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 07 Jan 2018 21:09:10 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 07 Jan 2018 21:04:51 +0100 |
wenzelm |
support for formal comments in ML in Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 07 Jan 2018 20:44:48 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 27 Nov 2017 11:40:41 +0100 |
wenzelm |
proper treatment of multi-line cartouche as rudiment of antiquotation, e.g. relevant for syntax-highlighting in Isabelle/jEdit;
|
file |
diff |
annotate
|
| Sat, 07 Jan 2017 20:01:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 05 Aug 2016 16:30:53 +0200 |
wenzelm |
Sidekick parser for isabelle-ml and sml mode;
|
file |
diff |
annotate
|
| Wed, 01 Jun 2016 15:01:43 +0200 |
wenzelm |
support rat numerals via special antiquotation syntax;
|
file |
diff |
annotate
|
| Sat, 07 Nov 2015 00:28:42 +0100 |
wenzelm |
ML cartouches via control antiquotation;
|
file |
diff |
annotate
|
| Sun, 18 Oct 2015 17:24:24 +0200 |
wenzelm |
support control symbol antiquotations;
|
file |
diff |
annotate
|
| Sun, 03 May 2015 00:01:10 +0200 |
wenzelm |
misc tuning, based on warnings by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Mon, 08 Dec 2014 22:42:12 +0100 |
wenzelm |
expand ML cartouches to Input.source;
|
file |
diff |
annotate
|
| Mon, 08 Dec 2014 15:21:57 +0100 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
| Mon, 08 Dec 2014 11:50:04 +0100 |
wenzelm |
clarified Isabelle/ML strings (refining 72238ea2201c);
|
file |
diff |
annotate
|
| Fri, 07 Nov 2014 19:47:05 +0100 |
wenzelm |
tuned markup;
|
file |
diff |
annotate
|
| Tue, 25 Mar 2014 16:11:00 +0100 |
wenzelm |
separate tokenization and language context for SML: no symbols, no antiquotes;
|
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
|
| Sat, 15 Feb 2014 16:55:48 +0100 |
wenzelm |
clarified Isabelle/ML strings;
|
file |
diff |
annotate
|
| Sat, 15 Feb 2014 16:49:10 +0100 |
wenzelm |
refined ML keyword styles;
|
file |
diff |
annotate
|
| Sat, 15 Feb 2014 16:27:58 +0100 |
wenzelm |
isabelle-ml mode with separate token marker;
|
file |
diff |
annotate
|
| Sat, 15 Feb 2014 14:52:51 +0100 |
wenzelm |
partial scans via ML_Lex.tokenize_context;
|
file |
diff |
annotate
|
| Fri, 14 Feb 2014 21:06:20 +0100 |
wenzelm |
lexical syntax for SML (in Scala);
|
file |
diff |
annotate
|