/usr/share/hol88-2.02.19940316/help/ENTRIES/version.doc is in hol88-help 2.02.19940316-35.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 | \DOC version
\TYPE {version : (void -> int)}
\SYNOPSIS
Returns the version number of the {HOL} system being run.
\DESCRIBE
The number is imagined to have a `decimal point' before its last two digits to
give the actual version number.
\EXAMPLE
{
_ _ __ _ __ __
|___ |__| | | | |__| |__|
| | | |__| |__ |__| |__|
Version 2 (Sun4/Allegro 4.0), built on 22/6/91
#version();;
200 : int
}
\ENDDOC
|