Thu, 01 Jun 2017 21:14:38 +0200 | wenzelm | use css from Isabelle distribution; | file | diff | annotate |
Thu, 01 Jun 2017 20:52:31 +0200 | wenzelm | clarified output; | file | diff | annotate |
Wed, 31 May 2017 17:25:26 +0200 | wenzelm | explicit preview request/response; | file | diff | annotate | base |