| Sat, 10 Aug 2024 21:13:37 +0200 | wenzelm | tuned: more antiquotations; | changeset | files |
| Sat, 10 Aug 2024 20:46:12 +0200 | wenzelm | misc tuning; | changeset | files |
| Sat, 10 Aug 2024 20:45:55 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Sat, 10 Aug 2024 20:20:59 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 10 Aug 2024 20:20:52 +0200 | wenzelm | misc tuning and clarification: proper context, proper exception; | changeset | files |
| Sat, 10 Aug 2024 13:49:08 +0200 | wenzelm | tuned: eliminate odd clones; | changeset | files |
| Sat, 10 Aug 2024 13:42:27 +0200 | wenzelm | tuned: more antiquotations; | changeset | files |
| Sat, 10 Aug 2024 13:42:16 +0200 | wenzelm | unused; | changeset | files |
| Sat, 10 Aug 2024 12:26:17 +0200 | wenzelm | tuned: more antiquotations; | changeset | files |
| Sat, 10 Aug 2024 12:12:53 +0200 | wenzelm | tuned: more antiquotations; | changeset | files |
| Thu, 08 Aug 2024 22:49:40 +0200 | wenzelm | tuned: more antiquotations; | changeset | files |
| Thu, 08 Aug 2024 17:06:08 +0200 | wenzelm | tuned proofs; | changeset | files |
| Thu, 08 Aug 2024 16:23:30 +0200 | wenzelm | tuned signature: more operations; | changeset | files |
| Thu, 08 Aug 2024 16:21:48 +0200 | wenzelm | tuned; | changeset | files |