Mercurial Mercurial > hg > pep-material / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
slides/slides05.tex
changeset 265 59779ce322a6
parent 240 b8cdaf51ffef
child 327 fb4cd144a9e6 
--- a/slides/slides05.tex	Wed Mar 20 21:50:20 2019 +0000
+++ b/slides/slides05.tex	Sat Jun 22 08:39:52 2019 +0100
@@ -248,6 +248,7 @@
 \end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+%% ~2,237,800 lines of proof in 474
 
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
pep-material