| Sat, 18 Jan 2025 12:08:13 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 18 Jan 2025 12:05:56 +0100 | wenzelm | misc tuning and clarification: prefer state operations, avoid redundant ctyp_of/cterm_of; | changeset | files |
| Sat, 18 Jan 2025 11:09:00 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 18 Jan 2025 11:03:18 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 18 Jan 2025 10:59:00 +0100 | wenzelm | tuned proofs; | changeset | files |
| Thu, 23 Jan 2025 13:42:58 +0100 | Fabian Huch | merged | changeset | files |
| Wed, 22 Jan 2025 15:05:29 +0100 | Fabian Huch | update to javamail-20250122; | changeset | files |
| Wed, 22 Jan 2025 22:22:37 +0000 | paulson | merged | changeset | files |
| Wed, 22 Jan 2025 22:22:27 +0000 | paulson | more tidying | changeset | files |
| Wed, 22 Jan 2025 14:43:26 +0100 | Fabian Huch | tuned messages; | changeset | files |
| Wed, 22 Jan 2025 11:23:35 +0100 | Fabian Huch | clarified: more arguments; | changeset | files |
| Wed, 22 Jan 2025 10:53:20 +0100 | Fabian Huch | explicit error message when Solr database does not exist; | changeset | files |