isabelle: Changelog

paulson [Wed, 01 Oct 1997 13:41:38 +0200] rev 3759

Fixed ServerResume to check for ServerHello instead of making a new NB

paulson [Wed, 01 Oct 1997 12:07:24 +0200] rev 3758

Exchanged the M and SID fields of the FINISHED messages to simplify proofs; deleted unused theorems

paulson [Wed, 01 Oct 1997 12:07:07 +0200] rev 3757

Exchanged the M and SID fields of the FINISHED messages to simplify proofs

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;

isabelle