| 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
|
| Thu, 02 Mar 2017 16:46:22 +0100 |
wenzelm |
clarified fonts;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2017 15:56:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2016 22:51:45 +0200 |
wenzelm |
more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
|
file |
diff |
annotate
|
| Thu, 14 Apr 2016 11:34:10 +0200 |
wenzelm |
back to exact copy of non-text file (amending dcc8e1d34b18);
|
file |
diff |
annotate
|