| Tue, 02 Apr 2024 19:18:55 +0200 | wenzelm | merged | changeset | files |
| Tue, 02 Apr 2024 19:10:22 +0200 | wenzelm | update to stack-2.15.5, stackage-lts-22.15; | changeset | files |
| 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 |