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 spacing;
authorwenzelm
Tue, 10 Jun 2008 23:49:55 +0200
changeset 27143 574a09bcdb02
parent 27142 92e8a38fd8f6
child 27144 ef2634bef947
tuned spacing;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Tue Jun 10 23:45:53 2008 +0200
+++ b/NEWS	Tue Jun 10 23:49:55 2008 +0200
@@ -45,6 +45,7 @@
 theorems.  Changes in simp rules.  INCOMPATIBILITY.
 
 
+
 New in Isabelle2008 (June 2008)
 -------------------------------
isabelle