[Allegro] V25.7 kommt heute

[Bernhard Eversberg]

Um die Mittagsstunde herum wird V25.7 bereitgelegt.
Die Aenderungen und Verbesserungen wurden gestern schon in Vb.185 
bekanntgegeben. Es gibt daneben eine Anzahl von kleineren Verbesserungen 
in Hilfetexten, denn bei der Durchsicht auf notwendige Verbesserungen 
wurden auch andere Korrekturen angebracht. Aktualisiert sind auch die
Viewlisten QUICK und FLEX.

B.E.