| Mon, 02 Jan 2017 14:25:46 +0100 | wenzelm | proper use of isabelle-ml; | changeset | files |
| Mon, 02 Jan 2017 14:14:33 +0100 | wenzelm | grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist | changeset | files |
| Mon, 02 Jan 2017 11:42:15 +0100 | wenzelm | clarified multiple tooltips; | changeset | files |