Langage des commandes Arbortext
>
Functions by Alphabetical Listing
> doc_name
doc_name
doc_name
(
doc
)
This function returns the name associated with the document given by
doc
, or the null string if the document was created without a name argument specified.
Parent topic
Functions by Alphabetical Listing
Est-ce que cela a été utile ?
Ce site fonctionne de manière optimale avec JavaScript activé.