| Sat, 15 Feb 2014 18:28:18 +0100 | wenzelm | more uniform ML keyword markup; | changeset | files |
| Sat, 15 Feb 2014 17:10:57 +0100 | wenzelm | merged | changeset | files |
| Sat, 15 Feb 2014 17:04:55 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 15 Feb 2014 16:55:48 +0100 | wenzelm | clarified Isabelle/ML strings; | changeset | files |
| Sat, 15 Feb 2014 16:49:10 +0100 | wenzelm | refined ML keyword styles; | changeset | files |
| Sat, 15 Feb 2014 16:27:58 +0100 | wenzelm | isabelle-ml mode with separate token marker; | changeset | files |
| Sat, 15 Feb 2014 14:52:51 +0100 | wenzelm | partial scans via ML_Lex.tokenize_context; | changeset | files |
| Fri, 14 Feb 2014 22:03:48 +0100 | wenzelm | proper signature; | changeset | files |
| Fri, 14 Feb 2014 21:06:20 +0100 | wenzelm | lexical syntax for SML (in Scala); | changeset | files |
| Fri, 14 Feb 2014 20:58:48 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 14 Feb 2014 16:27:29 +0100 | wenzelm | removed dead code; | changeset | files |
| Fri, 14 Feb 2014 16:25:30 +0100 | wenzelm | tuned signature (in accordance to ML version); | changeset | files |