| Wed, 18 Dec 2019 18:59:16 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 18 Dec 2019 16:31:42 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 18 Dec 2019 16:22:10 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 18 Dec 2019 16:14:54 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 18 Dec 2019 15:31:49 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 18 Dec 2019 15:10:50 +0100 | wenzelm | more repository information; | changeset | files |
| Wed, 18 Dec 2019 15:10:13 +0100 | wenzelm | more permissive string fields; | changeset | files |
| Wed, 18 Dec 2019 10:39:38 +0100 | nipkow | tuned proof (by Thomas Sewell) | changeset | files |
| Tue, 17 Dec 2019 22:22:20 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 17 Dec 2019 22:18:37 +0100 | wenzelm | clarified signature: error_code may contain low-level message instead of proper "ERR-" code; | changeset | files |
| Tue, 17 Dec 2019 22:06:24 +0100 | wenzelm | clarified signature; | changeset | files |
| Tue, 17 Dec 2019 21:19:46 +0100 | wenzelm | tuned signature; | changeset | files |