|
[_____]
Sometimes it is necessary to create names for files from within Magma
that will not clash with the names of existing files.
Given a prefix string P, return a unique temporary name derived from P
(by use of the C library function mktemp()).
[Next][Prev] [_____] [Left] [Up] [Index] [Root]
|