isabelle: Changelog

paulson [Wed, 01 Oct 1997 11:30:55 +0200] rev 3756

Auto update

berghofe [Tue, 30 Sep 1997 17:33:16 +0200] rev 3755

SYNC

berghofe [Tue, 30 Sep 1997 17:32:33 +0200] rev 3754

Removed "browse.tex".

berghofe [Tue, 30 Sep 1997 17:31:19 +0200] rev 3753

Added section describing the theory browser.

berghofe [Tue, 30 Sep 1997 17:29:32 +0200] rev 3752

Updated usage information for tool "usedir".

berghofe [Tue, 30 Sep 1997 17:28:54 +0200] rev 3751

Theory browser stuff has been moved to "present.tex".

wenzelm [Tue, 30 Sep 1997 16:19:27 +0200] rev 3750

obsolete;

wenzelm [Tue, 30 Sep 1997 16:12:38 +0200] rev 3749

ISABELLE_USEDIR_OPTIONS="-i true"

berghofe [Tue, 30 Sep 1997 12:53:54 +0200] rev 3748

Changed html data directory and names of graph files.

berghofe [Tue, 30 Sep 1997 12:52:15 +0200] rev 3747

There is now one single option -i for generating theory browsing information instead of the two options -h and -g .

isabelle