| 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 |