wenzelm [Wed, 01 Oct 1997 17:41:20 +0200] rev 3765
fully qualified name: Theory.merge_thy_list;
wenzelm [Wed, 01 Oct 1997 17:40:09 +0200] rev 3764
fully qualified names: Theory.add_XXX;
wenzelm [Wed, 01 Oct 1997 17:36:51 +0200] rev 3763
added name_space.ML;
wenzelm [Wed, 01 Oct 1997 17:32:38 +0200] rev 3762
added split_last;
wenzelm [Wed, 01 Oct 1997 14:30:38 +0200] rev 3761
Hierarchically structured name spaces.
paulson [Wed, 01 Oct 1997 13:42:18 +0200] rev 3760
Strengthened the possibility property for resumption so that it could have
detected the problem with ServerResume
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;
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 .
berghofe [Tue, 30 Sep 1997 12:49:16 +0200] rev 3746
Modified some links.
paulson [Tue, 30 Sep 1997 11:03:55 +0200] rev 3745
Client, Server certificates now sent using the separate Certificate rule,
simplifying ServerHello and ClientKeyExch. Resumption no longer needs its
own version of ServerHello. Proofs run nearly three minutes faster.
wenzelm [Mon, 29 Sep 1997 15:39:28 +0200] rev 3744
tuned;
wenzelm [Mon, 29 Sep 1997 15:16:22 +0200] rev 3743
superficial;
wenzelm [Mon, 29 Sep 1997 15:11:27 +0200] rev 3742
obsolete;
wenzelm [Mon, 29 Sep 1997 15:08:47 +0200] rev 3741
margin 76 (2nd try :-);
wenzelm [Mon, 29 Sep 1997 14:12:02 +0200] rev 3740
fixed href to html library;
wenzelm [Mon, 29 Sep 1997 14:11:18 +0200] rev 3739
improved warning;
wenzelm [Mon, 29 Sep 1997 14:10:52 +0200] rev 3738
default margin 76 (to accomodate warning and error default output);
paulson [Mon, 29 Sep 1997 12:13:43 +0200] rev 3737
Step_tac -> Safe_tac
paulson [Mon, 29 Sep 1997 11:56:04 +0200] rev 3736
Much tidying including step_tac -> clarify_tac or safe_tac; sometimes
used qed_spec_mp