| Fri, 22 Dec 2017 17:49:51 +0100 | wenzelm | action "isabelle.draft" for plain-text preview; | file | diff | annotate |
| Fri, 22 Dec 2017 17:19:53 +0100 | wenzelm | uniform preview for Isabelle/jEdit and Isabelle/VSCode; | file | diff | annotate |
| Fri, 22 Dec 2017 16:10:48 +0100 | wenzelm | proper title; | file | diff | annotate |
| Fri, 22 Dec 2017 14:27:59 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Fri, 22 Dec 2017 11:39:49 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 21 Dec 2017 22:38:28 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 21 Dec 2017 22:07:30 +0100 | wenzelm | isabelle.preview presents auxiliary text files as well; | file | diff | annotate |
| Thu, 14 Dec 2017 21:15:04 +0100 | wenzelm | purge log files -- avoid old errors; | file | diff | annotate |
| Thu, 14 Dec 2017 21:09:41 +0100 | wenzelm | expose bibtex errors; | file | diff | annotate |
| Thu, 14 Dec 2017 14:28:27 +0100 | wenzelm | proper \isakeeptag (amending 13b5c3ff1954); | file | diff | annotate |
| Tue, 12 Dec 2017 13:34:11 +0100 | wenzelm | tuned message; | file | diff | annotate |
| Sun, 10 Dec 2017 20:50:09 +0100 | wenzelm | tuned messages; | file | diff | annotate |
| Sun, 10 Dec 2017 18:43:08 +0100 | wenzelm | removed obsolete option (see 74a1b722507e); | file | diff | annotate |
| Sun, 10 Dec 2017 18:31:41 +0100 | wenzelm | re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here; | file | diff | annotate |
| Mon, 12 Jun 2017 20:24:40 +0200 | wenzelm | tuned rendering; | file | diff | annotate |
| Thu, 08 Jun 2017 23:04:07 +0200 | wenzelm | more HTML rendering as in Isabelle/jEdit; | file | diff | annotate |
| Thu, 08 Jun 2017 21:17:13 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 08 Jun 2017 14:27:13 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 08 Jun 2017 14:08:07 +0200 | wenzelm | HTML preview based on PIDE markup; | file | diff | annotate |
| Thu, 08 Jun 2017 13:01:50 +0200 | wenzelm | tuned layout (amending 8040d2563593); | 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 15:19:50 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 31 May 2017 21:48:32 +0200 | wenzelm | tuned layout; | file | diff | annotate |
| Wed, 31 May 2017 21:37:50 +0200 | wenzelm | modernized generated HTML; | file | diff | annotate |
| Thu, 06 Apr 2017 14:32:56 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Wed, 05 Apr 2017 11:39:36 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 04 Apr 2017 21:37:26 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 04 Apr 2017 21:33:51 +0200 | wenzelm | proper base name; | file | diff | annotate |
| Sat, 01 Apr 2017 19:17:15 +0200 | wenzelm | clarified YXML vs. symbol encoding: operate on whole message; | file | diff | annotate |