| Fri, 23 Dec 2016 11:21:38 +0100 | wenzelm | omit unused markup; | file | diff | annotate |
| Wed, 21 Dec 2016 23:54:21 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 20 Dec 2016 22:24:16 +0100 | wenzelm | more uniform rendering for Isabelle/jEdit and Isabelle/VSCode; | file | diff | annotate |
| Tue, 20 Dec 2016 21:35:56 +0100 | wenzelm | clarified module name; | file | diff | annotate | base |