diff options
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -12,9 +12,13 @@ Changes from 5.0.1 to 5.1.0 2. A number of memory leak issues have been fixed. -3. Infrastructure upgrades: Bison 3.4.2. +3. Infrastructure upgrades: Bison 3.4.2, Texinfo 6.7. -4. Several bugs have been fixed. See the ChangeLog for details. +4. The indexing in the manual has been thoroughly revised, in particular + making use of the facilities in Texinfo 6.7. That version (or newer) + must be used to format the manual. + +5. Several bugs have been fixed. See the ChangeLog for details. Changes from 5.0.0 to 5.0.1 --------------------------- |