| Wed, 09 Dec 2020 20:10:10 +0100 |
wenzelm |
added "isabelle log": print messages from build database;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2020 14:29:30 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 08 Dec 2020 17:30:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 20:26:09 +0100 |
wenzelm |
clarified signature: provide XZ.Cache where Export.Entry is created;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 19:22:37 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 06 Dec 2020 21:43:52 +0100 |
wenzelm |
clarified File_Format.detect: needs to operate on full node name;
|
file |
diff |
annotate
|
| Sun, 06 Dec 2020 16:27:37 +0100 |
wenzelm |
PIDE support for session ROOTS;
|
file |
diff |
annotate
|
| 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
|
| Tue, 10 Nov 2020 12:48:56 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 08 Nov 2020 21:27:08 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 28 Sep 2020 22:22:56 +0200 |
wenzelm |
some support for document preparation in Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 24 Jul 2020 15:02:16 +0200 |
wenzelm |
clarified errors: avoid hiding of import_errors/dir_errors by their consequences (file-access problems);
|
file |
diff |
annotate
|
| Fri, 24 Jul 2020 12:15:37 +0200 |
wenzelm |
clarified errors: avoid accidental import from other session that happens to be within overall selection (notably "isabelle build -a");
|
file |
diff |
annotate
|
| Thu, 23 Jul 2020 22:32:06 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 23 Jul 2020 14:25:48 +0200 |
wenzelm |
clarified order --- proper sorting of requirements;
|
file |
diff |
annotate
|
| Thu, 23 Jul 2020 11:48:58 +0200 |
wenzelm |
obsolete (see 9cde8c4ea5a5);
|
file |
diff |
annotate
|
| Tue, 21 Jul 2020 19:40:38 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 20 Jun 2020 16:18:33 +0200 |
wenzelm |
share cache for parallel sessions;
|
file |
diff |
annotate
|
| Tue, 28 Apr 2020 21:47:22 +0200 |
wenzelm |
added "isabelle sessions" tool;
|
file |
diff |
annotate
|
| Tue, 07 Apr 2020 21:49:36 +0200 |
wenzelm |
clarified signature: more uniform treatment of stopped/interrupted state;
|
file |
diff |
annotate
|
| Wed, 01 Apr 2020 12:58:44 +0200 |
wenzelm |
clarified signature: more robust bootstrap base;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:06:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 13:02:56 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 12:13:39 +0100 |
wenzelm |
clarified signature: more accurate session_base_info.sessions_structure;
|
file |
diff |
annotate
|
| Fri, 20 Mar 2020 20:23:40 +0100 |
wenzelm |
avoid premature crash due to missing session parents/imports;
|
file |
diff |
annotate
|
| Wed, 18 Mar 2020 18:06:36 +0100 |
wenzelm |
more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);
|
file |
diff |
annotate
|
| Fri, 25 Oct 2019 19:00:36 +0200 |
wenzelm |
clarified session_graph_display: restrict sessions to actually required theories;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 21:57:36 +0200 |
wenzelm |
incorporate sessions with record_proofs;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 21:00:04 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|