isabelle: Changelog

berghofe [Thu, 07 Aug 1997 23:45:24 +0200] rev 3640

Startup script for Isabelle theory browser.

berghofe [Thu, 07 Aug 1997 23:43:30 +0200] rev 3639

Modified graph data directory.

berghofe [Thu, 07 Aug 1997 23:39:28 +0200] rev 3638

Added some commands for building theory browser.

berghofe [Thu, 07 Aug 1997 23:37:53 +0200] rev 3637

Added new environment variable ISABELLE_BROWSER_INFO.

berghofe [Thu, 07 Aug 1997 23:35:32 +0200] rev 3636

Added some code for generating theory browsing data.

berghofe [Thu, 07 Aug 1997 23:34:31 +0200] rev 3635

Gif images which are copied to $ISABELLE_BROWSER_INFO when theory browsing data is generated.

berghofe [Thu, 07 Aug 1997 23:32:24 +0200] rev 3634

Index file which is copied to $ISABELLE_BROWSER_INFO when theory browsing data is generated.

wenzelm [Wed, 06 Aug 1997 15:07:53 +0200] rev 3633

added str_of_classrel;

isabelle