Globale Ersetzung

[Allers Heinrich]

Ich schrieb eben zur Frage der Einfügung einer Kategorie unter a99 auf
dem Wege der globalen Ersetzung:

> Leider kann ich nicht sagen, wo das steht; ich bin im 2. Anlauf 
> intuitiv drauf gekommen. ...

Der Intuition hätte es aber garnicht bedurft! Eben sehe ich, daß es bei
dem Fenster der globalen Ersetzungen unten ein rechts ein ganz kleines
Fragezeichen gibt, und wenn man dort draufdrückt, dann sieht man, wie es
geht!  :-))

Nochmal Grüße:

Heinrich Allers