Dubletten bei Globaler Manipulation

Mo Jul 20 11:05:45 CEST 1998

Frau Koczian meinte:

> >
> Betrifft das nicht auch ORDER (und evtl. ALF)? Oder soll man die Konsequenz
> ziehen, Globale Manipulationen nur mit PRESTO zu machen, nicht mit ORDER
> 

Fuer ORDER koennen wir das relativ bald nachziehen, fuer aLF steht ohnehin 
eine neue Version an, in die diese Verbesserung dann zwanglos einfliesst.

"avanti" ist uebrigens nicht betroffen.

MfG B.E.

Bernhard Eversberg
Universitaetsbibliothek, Postf. 3329, 
D-38023 Braunschweig, Germany
Tel.  +49 531 391-5026 , -5011 , FAX  -5836
e-mail  B.Eversberg at tu-bs.de  