| Fri, 04 Apr 2025 23:12:19 +0200 | haftmann | restored type reconstruction for nbe: remaining type variables must remain schematic for checking | changeset | files |
| Fri, 04 Apr 2025 23:12:18 +0200 | haftmann | tuned | changeset | files |
| Fri, 04 Apr 2025 22:20:30 +0200 | wenzelm | merged | changeset | files |
| Fri, 04 Apr 2025 22:20:23 +0200 | wenzelm | NEWS; | changeset | files |
| Fri, 04 Apr 2025 22:12:21 +0200 | wenzelm | more documentation; | changeset | files |
| Fri, 04 Apr 2025 22:11:29 +0200 | wenzelm | update jedit component; | changeset | files |
| Fri, 04 Apr 2025 21:48:51 +0200 | wenzelm | more navigator positions; | changeset | files |
| Fri, 04 Apr 2025 20:34:13 +0200 | wenzelm | clarified navigator events: avoid excessive 0 positions; | changeset | files |