isabelle: Changelog

berghofe [Mon, 17 May 1999 16:58:34 +0200] rev 6650

Present.begin_theory now needs an additional argument of type theory to store information about session identifiers.

berghofe [Mon, 17 May 1999 16:55:27 +0200] rev 6649

Reimplemented graph generator.

berghofe [Mon, 17 May 1999 16:48:58 +0200] rev 6648

Added some code to enable browser to display remote documents.

paulson [Mon, 17 May 1999 10:38:47 +0200] rev 6647

new thm extend_JN; renamed extend_leadsto

paulson [Mon, 17 May 1999 10:38:08 +0200] rev 6646

"component" now an infix

paulson [Mon, 17 May 1999 10:37:07 +0200] rev 6645

indentation

wenzelm [Sat, 15 May 1999 16:15:54 +0200] rev 6644

tuned;

wenzelm [Wed, 12 May 1999 17:58:03 +0200] rev 6643

ad-hoc fix for bold indexes;

wenzelm [Wed, 12 May 1999 17:26:56 +0200] rev 6642

strip_quotes replaced by unenclose;

wenzelm [Wed, 12 May 1999 16:54:31 +0200] rev 6641

rearranged some modules;

isabelle