Prevent reloading of files.
Defines a command \thisfileis, which will become \endinput if it's called for a second or subsequent time with a particular file name.
The author is unknown.
License: unknown Catalogued: 2006-03-11
Prevent reloading of files.
Defines a command \thisfileis, which will become \endinput if it's called for a second or subsequent time with a particular file name.
The author is unknown.
License: unknown Catalogued: 2006-03-11