doc-src/Ref/theories.tex
Wed, 06 Mar 1996 12:19:16 +0100 clasohm documented new function 'section'
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
less more (0) -10 -7 tip