| Tue, 02 Apr 2024 18:29:14 +0200 | wenzelm | clarified names: discontinue odd convention from 3 decades ago; | changeset | files |
| Tue, 02 Apr 2024 17:20:09 +0200 | wenzelm | further performance tuning (after f906f7f83dae): interactive mode is closer to earlier approach with Lazy.value, which could be relevant with rather complex grammars under tight memory situations; | changeset | files |
| Tue, 02 Apr 2024 18:02:43 +0200 | Manuel Eberl | added documentation for meromorphicity etc. in HOL-Complex_Analysis | changeset | files |
| Tue, 02 Apr 2024 16:33:53 +0200 | desharna | merged | changeset | files |
| Tue, 02 Apr 2024 08:35:43 +0200 | desharna | merged | changeset | files |
| Thu, 28 Mar 2024 09:41:51 +0100 | desharna | added special syntax for FSet.Ball and FSet.Bex | changeset | files |