| Thu, 05 Jan 2023 21:33:49 +0100 | wenzelm | isabelle update -u path_cartouches; | changeset | files |
| Thu, 05 Jan 2023 21:18:55 +0100 | wenzelm | merged | changeset | files |
| Thu, 05 Jan 2023 21:14:53 +0100 | wenzelm | updated documentation; | changeset | files |
| Thu, 05 Jan 2023 21:14:37 +0100 | wenzelm | more options; | changeset | files |
| Thu, 05 Jan 2023 20:44:10 +0100 | wenzelm | tuned message; | changeset | files |
| Thu, 05 Jan 2023 20:25:41 +0100 | wenzelm | isabelle update no longer uses PIDE dump, but regular session build database: more scalable; | changeset | files |
| Thu, 05 Jan 2023 20:13:04 +0100 | wenzelm | more robust; | changeset | files |
| Thu, 05 Jan 2023 20:07:22 +0100 | wenzelm | more operations; | changeset | files |
| Thu, 05 Jan 2023 19:41:12 +0100 | wenzelm | proper Node.init_blobs, not just edits (amending ca872f20cf5b); | changeset | files |
| Thu, 05 Jan 2023 17:14:29 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 05 Jan 2023 17:00:22 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 05 Jan 2023 16:44:15 +0100 | wenzelm | clarified session sources: theory and blobs are read from database, instead of physical file-system; | changeset | files |
| Thu, 05 Jan 2023 12:43:05 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 04 Jan 2023 16:40:02 +0100 | wenzelm | clarified signature: more operations; | changeset | files |
| Wed, 04 Jan 2023 16:06:46 +0100 | wenzelm | clarified signature: more operations; | changeset | files |
| Wed, 04 Jan 2023 15:53:36 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 04 Jan 2023 15:42:00 +0100 | wenzelm | more direct access to session_sources, without somewhat fragile file-system operations; | changeset | files |
| Wed, 04 Jan 2023 15:02:48 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 04 Jan 2023 14:56:22 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 04 Jan 2023 14:50:11 +0100 | wenzelm | tuned signature: avoid confusion with Document.Node.Blob and Command.Blob; | changeset | files |
| Wed, 04 Jan 2023 14:35:19 +0100 | wenzelm | clarified signature: old node is ignored; | changeset | files |
| Wed, 04 Jan 2023 14:26:30 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 04 Jan 2023 13:39:40 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 04 Jan 2023 19:06:16 +0000 | paulson | final tidying of theorems | changeset | files |
| Wed, 04 Jan 2023 17:46:27 +0000 | paulson | merged | changeset | files |
| Wed, 04 Jan 2023 10:27:32 +0000 | paulson | merged | changeset | files |
| Wed, 04 Jan 2023 10:27:19 +0000 | paulson | continued proof simplification | changeset | files |
| Tue, 03 Jan 2023 19:55:35 +0000 | paulson | merged | changeset | files |
| Tue, 03 Jan 2023 19:55:24 +0000 | paulson | Further simplifications | changeset | files |
| Tue, 03 Jan 2023 17:02:41 +0000 | paulson | More tidying of proofs | changeset | files |