Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
removed init_database;
1997-07-09, by wenzelm
Improved length = size translation.
1997-07-09, by nipkow
New proofs involving CERTIFICATE VERIFY
1997-07-07, by paulson
eliminated chmod -w;
1997-07-07, by wenzelm
-w option;
1997-07-07, by wenzelm
NOWRITE;
1997-07-07, by wenzelm
added -w option;
1997-07-07, by wenzelm
Changed some variables of type msg to lower case (e.g. from NB to nb
1997-07-04, by paulson
New constant "certificate"--just an abbreviation
1997-07-04, by paulson
Reduced priority of postfix ^* etc operators such that they are the same as
1997-07-04, by nipkow
Automatic update
1997-07-04, by paulson
Now catches the error of calling tgoalw when there are no goals to prove,
1997-07-04, by paulson
Simplified the new proofs about division
1997-07-04, by paulson
New comments on how to deal with unproved termination conditions
1997-07-04, by paulson
Fixed comments
1997-07-04, by paulson
Moved MLWorks.ML to its proper place, directory ML-Systems.
1997-07-04, by paulson
Automatic update
1997-07-04, by paulson
Modified the \tydx command to set types in italics instead of \tt
1997-07-03, by paulson
Some LaTeX-2e primitives such as \texttt
1997-07-03, by paulson
Added documentation for recdef, and tidied some other material
1997-07-03, by paulson
Updated references
1997-07-03, by paulson
set_of_list -> set
1997-07-03, by nipkow
Now there are TWO spaces after each full stop, so that the Emacs sentence
1997-07-02, by paulson
Now there are TWO spaces after each full stop, so that the Emacs sentence
1997-07-02, by paulson
Added the following lemmas tp Divides and a few others to Arith and NatDef:
1997-07-02, by nipkow
Tidying; also simplified the lemma Says_Server_not
1997-07-01, by paulson
New theory TLS
1997-07-01, by paulson
Deleted a redundant A~=B in rules that refer to a previous event
1997-07-01, by paulson
More realistic model: the Spy can compute clientK and serverK
1997-07-01, by paulson
Reordered rules in analz_image_freshK_ss to improve clarity
1997-07-01, by paulson
less
more
|
(0)
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip