next up previous contents index

18.2.3 Definition umbenennen

Der aktivierten Definition kann ein neuer Name zugewiesen werden. Dies wird mit Umbenennen erreicht.


2024-02-28 (c) by Archivista GmbH, CH-8132 Egg