Mercurial Mercurial > repos > testboard / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thu, 05 Feb 1998 11:20:35 +0100 added param;
changeset
wenzelm [Thu, 05 Feb 1998 11:20:35 +0100] rev 4603
added param;
Thu, 05 Feb 1998 11:19:51 +0100 added THEN_ALL_NEW;
changeset
wenzelm [Thu, 05 Feb 1998 11:19:51 +0100] rev 4602
added THEN_ALL_NEW;
Thu, 05 Feb 1998 10:48:43 +0100 New theorem Image_id
changeset
paulson [Thu, 05 Feb 1998 10:48:43 +0100] rev 4601
New theorem Image_id
Thu, 05 Feb 1998 10:47:29 +0100 New theorem order_eq_refl
changeset
paulson [Thu, 05 Feb 1998 10:47:29 +0100] rev 4600
New theorem order_eq_refl
Thu, 05 Feb 1998 10:46:31 +0100 New max, min theorems
changeset
paulson [Thu, 05 Feb 1998 10:46:31 +0100] rev 4599
New max, min theorems
Thu, 05 Feb 1998 10:38:34 +0100 Added some more explicit guarantees of key secrecy for agents
changeset
paulson [Thu, 05 Feb 1998 10:38:34 +0100] rev 4598
Added some more explicit guarantees of key secrecy for agents Deleted spurious A~=Spy assumptions
Thu, 05 Feb 1998 10:26:59 +0100 Fixed a lot of overfull and underfull lines (hboxes)
changeset
paulson [Thu, 05 Feb 1998 10:26:59 +0100] rev 4597
Fixed a lot of overfull and underfull lines (hboxes)
Thu, 05 Feb 1998 10:26:16 +0100 Updated the description of how to set up hyp_subst_tac
changeset
paulson [Thu, 05 Feb 1998 10:26:16 +0100] rev 4596
Updated the description of how to set up hyp_subst_tac
Mon, 02 Feb 1998 12:57:20 +0100 New example, Pow_Sigma_bij
changeset
paulson [Mon, 02 Feb 1998 12:57:20 +0100] rev 4595
New example, Pow_Sigma_bij
Mon, 02 Feb 1998 12:56:24 +0100 fixed WWW links
changeset
paulson [Mon, 02 Feb 1998 12:56:24 +0100] rev 4594
fixed WWW links
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
testboard