| Fri, 22 Nov 2019 09:24:54 +0000 | haftmann | removed unused auxiliary lemmas | changeset | files |
| Thu, 21 Nov 2019 15:22:24 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 21 Nov 2019 13:25:27 +0100 | wenzelm | added document antiquotation @{system_option}; | changeset | files |
| Wed, 20 Nov 2019 17:26:04 +0100 | wenzelm | improved performance of session exports via bulk transactions; | changeset | files |
| Wed, 20 Nov 2019 16:56:03 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 20 Nov 2019 16:28:13 +0100 | wenzelm | support for bulk operations: consume mailbox content in batches; | changeset | files |
| Wed, 20 Nov 2019 12:21:54 +0100 | wenzelm | clarified signature -- more explicit types; | changeset | files |