| 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 |