| Tue, 24 Jun 2025 21:00:45 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 24 Jun 2025 20:57:27 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 24 Jun 2025 20:52:09 +0200 | wenzelm | clarified signature: more explicit subtypes of Session, with corresponding subtypes of Resources; | changeset | files |
| Mon, 23 Jun 2025 14:44:59 +0200 | wenzelm | re-use cache from Main_Plugin.start; | changeset | files |
| Mon, 23 Jun 2025 14:42:40 +0200 | wenzelm | clarified signature, following c3793899b880; | changeset | files |
| Mon, 23 Jun 2025 14:10:59 +0200 | wenzelm | more robust: assertion holds, because session.finished_theories provides Snapshot from Document.State.end_theory; | changeset | files |