| Sun, 06 Dec 2020 13:22:20 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2020 12:14:40 +0100 |
wenzelm |
support for PIDE markup for auxiliary files ("blobs");
|
file |
diff |
annotate
|
| Tue, 01 Dec 2020 16:07:19 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 17:38:03 +0100 |
wenzelm |
clarified protocol: Doc.check at run-time via Scala function;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 23:23:19 +0100 |
wenzelm |
store timings for used_theories in canonical order, with reconstructed store.read_theories;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 12:27:09 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 12:21:45 +0100 |
wenzelm |
clarified signature --- avoid repeated open_database on server;
|
file |
diff |
annotate
|
| Tue, 24 Nov 2020 16:39:58 +0100 |
wenzelm |
clarified signature and database layout;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 21:02:38 +0100 |
wenzelm |
clarified signature: prefer Database_Context;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 20:35:48 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 15:20:12 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 20 Nov 2020 23:53:37 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 20 Nov 2020 23:47:34 +0100 |
wenzelm |
generate theory HTML in Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 20 Nov 2020 12:00:08 +0100 |
wenzelm |
proper meta_digest: avoid non-portable position information;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 21:34:13 +0100 |
wenzelm |
store documents within session database, instead of browser_info directory;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 15:52:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 15:36:41 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 13:16:08 +0100 |
wenzelm |
more explicit presentation directory;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 13:14:01 +0100 |
wenzelm |
more robust, e.g. for "isabelle build_doc system";
|
file |
diff |
annotate
|
| Tue, 17 Nov 2020 16:34:01 +0100 |
wenzelm |
clarified access to single database server vs. collection of database files;
|
file |
diff |
annotate
|
| Mon, 16 Nov 2020 23:27:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 16 Nov 2020 23:19:07 +0100 |
wenzelm |
clarified signature: theory imports could be from other sessions;
|
file |
diff |
annotate
|
| Mon, 16 Nov 2020 22:23:04 +0100 |
wenzelm |
HTML presentation in Isabelle/Scala, based on theory html exports from Isabelle/ML;
|
file |
diff |
annotate
|
| Sun, 15 Nov 2020 22:00:45 +0100 |
wenzelm |
refer to session structure from resources;
|
file |
diff |
annotate
|
| Sun, 15 Nov 2020 17:34:19 +0100 |
wenzelm |
clarified bibtex_entries: refer to overall session structure;
|
file |
diff |
annotate
|
| Sat, 14 Nov 2020 16:53:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 14 Nov 2020 16:49:48 +0100 |
wenzelm |
proper theory name;
|
file |
diff |
annotate
|
| Sat, 14 Nov 2020 12:55:05 +0100 |
wenzelm |
official support for document theories from other sessions;
|
file |
diff |
annotate
|
| Wed, 11 Nov 2020 21:00:14 +0100 |
wenzelm |
build documents in Isabelle/Scala, based on generated tex files as session exports;
|
file |
diff |
annotate
|