| Thu, 18 Jul 2024 17:02:39 +0200 | wenzelm | merged | changeset | files |
| Thu, 18 Jul 2024 16:25:53 +0200 | wenzelm | uniform export via ztyp/zterm/zproof; | changeset | files |
| Thu, 18 Jul 2024 15:26:36 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 18 Jul 2024 12:08:08 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 18 Jul 2024 11:36:09 +0200 | wenzelm | more operations; | changeset | files |
| Thu, 18 Jul 2024 11:02:08 +0200 | wenzelm | clarified scope of cache: avoid nested typ_cache; | changeset | files |
| Thu, 18 Jul 2024 10:45:36 +0200 | wenzelm | clarified scope of cache: per theory body; | changeset | files |
| Tue, 16 Jul 2024 12:49:23 +0200 | wenzelm | tuned module structure; | changeset | files |
| Mon, 15 Jul 2024 12:26:15 +0200 | wenzelm | clarified signature: more operations; | changeset | files |
| Thu, 18 Jul 2024 16:00:40 +0200 | nipkow | merged | changeset | files |
| Thu, 18 Jul 2024 15:57:07 +0200 | nipkow | tuned | changeset | files |
| Thu, 18 Jul 2024 15:17:46 +0200 | nipkow | added nicer proof | changeset | files |
| Thu, 18 Jul 2024 13:52:51 +0200 | Fabian Huch | better poller: don't start job when same version is already running; | changeset | files |
| Thu, 18 Jul 2024 13:08:11 +0200 | Fabian Huch | clarified: more uniform; | changeset | files |