display or modify timestamp of a library
Timestamp( archive, timestamp )
string; Maple library or directory containing Maple libraries
(optional) integer; timestamp of the library
The Timestamp( archive, timestamp) calling sequence returns the timestamp of the Maple libraries specified by archive. The timestamp is the time when the library was created.
If archive is a directory, the timestamps of all Maple libraries in that directory are returned; otherwise, if archive is a file that is a Maple library (has extension .lib or .mla, see repository), then just the timestamp of that library is returned. An error is raised if the archive does not exist or has the wrong extension.
Timestamp returns a list of lists. Each sublist is the result of a single Maple library. The first item in a sublist is a string corresponding to the path to that library. The second item is a list corresponding to the timestamp of that library. The elements of the list are non-negative integers giving, in order, the year (four digits), month (1..12), day (1..31), hour (0..23) minute (0..59), and second (0..59).
The optional argument timestamp is used to apply a new timestamp to an archive, provided it is writable. The argument timestamp is a non-negative integer: zero specifies the current time, a positive value specifies the number of seconds since the epoch. When timestamp is not given, the timestamp of the library is returned but remains unchanged.
LibLocation ≔ cat⁡kernelopts⁡mapledir,/lib/myLib.mla
Download Help Document