doc-src/Ref/theories.tex
Tue, 27 Feb 1996 13:01:16 +0100 clasohm removed note about "IO exceptions" during HTML generation
Thu, 15 Feb 1996 10:51:22 +0100 clasohm updated documentation of MAKE_HTML
Fri, 26 Jan 1996 13:43:36 +0100 clasohm extended warning regarding MAKE_HTML databases
Fri, 26 Jan 1996 12:45:09 +0100 clasohm added warning for databases made with set MAKE_HTML
Mon, 18 Dec 1995 13:09:17 +0100 clasohm setting base_path is now optional
Thu, 07 Dec 1995 14:24:32 +0100 clasohm removed quotes from syntax and consts sections
Fri, 01 Dec 1995 12:27:09 +0100 clasohm changed HTML documentation
less more (0) -10 -7 tip