| Sat, 15 Feb 2014 21:09:48 +0100 | wenzelm | removed odd comments -- inferred types are shown by Prover IDE; | changeset | files |
| Sat, 15 Feb 2014 18:48:43 +0100 | wenzelm | removed dead code; | changeset | files |
| 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 |