Wed, 28 Dec 2016 17:35:12 +0100 | wenzelm | clarified options; | file | diff | annotate |
Wed, 28 Dec 2016 16:45:00 +0100 | wenzelm | more uniform treatment of input/output wrt. client; | file | diff | annotate |
Tue, 20 Dec 2016 22:24:16 +0100 | wenzelm | more uniform rendering for Isabelle/jEdit and Isabelle/VSCode; | file | diff | annotate |