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