next up previous contents index

18.2.3 Definition umbenennen

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


2022-06-09 (c) by Archivista GmbH, CH-8132 Egg