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.
tuned whitespace;
authorwenzelm
Fri, 07 Mar 2014 11:41:25 +0100
changeset 55973 471a71017cfc
parent 55972 51b342baecda
child 55974 c835a9379026
tuned whitespace;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Fri Mar 07 11:34:41 2014 +0100
+++ b/src/HOL/ROOT	Fri Mar 07 11:41:25 2014 +0100
@@ -213,7 +213,6 @@
     Verification of imperative programs (verification conditions are generated
     automatically from pre/post conditions and loop invariants).
   *}
-
   theories Hoare
   files "document/root.bib" "document/root.tex"
isabelle