| Sat, 02 Nov 2019 14:31:48 +0000 | paulson | merged | changeset | files |
| Sat, 02 Nov 2019 14:31:34 +0000 | paulson | Inverse function theorem + lemmas | changeset | files |
| Sat, 02 Nov 2019 13:37:15 +0100 | wenzelm | back to more elementary Buffer.T -- less intermediate garbage; | changeset | files |
| Sat, 02 Nov 2019 13:25:58 +0100 | wenzelm | unused; | changeset | files |
| Sat, 02 Nov 2019 13:20:37 +0100 | wenzelm | unused; | changeset | files |
| Sat, 02 Nov 2019 12:39:44 +0100 | wenzelm | more direct output of XML material -- bypass Buffer.T; | changeset | files |
| Sat, 02 Nov 2019 12:33:38 +0100 | wenzelm | clarified signature; | changeset | files |