Thu, 08 Jun 2017 14:08:07 +0200 | wenzelm | HTML preview based on PIDE markup; | file | diff | annotate |
Thu, 01 Jun 2017 23:12:48 +0200 | wenzelm | generate CSS for Isabelle fonts; | file | diff | annotate |
Thu, 01 Jun 2017 21:24:33 +0200 | wenzelm | tuned signature; | file | diff | annotate |
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 |