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