Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated comment;
authorwenzelm
Sun, 20 Nov 2011 17:32:27 +0100
changeset 45599 5292435af7cf
parent 45598 87a2624f57e4
child 45600 1bbbac9a0cb0
updated comment;
src/HOL/Auth/TLS.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Auth/TLS.thy	Sun Nov 20 17:04:59 2011 +0100
+++ b/src/HOL/Auth/TLS.thy	Sun Nov 20 17:32:27 2011 +0100
@@ -904,4 +904,6 @@
           the assumptions be default.
 *)
 
+(*20/11/11: loads in 5.8s elapses time, 9.3s CPU time on dual-core laptop*)
+
 end
isabelle