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.
fixed typo
authorhaftmann
Mon, 29 Oct 2007 17:08:01 +0100
changeset 25229 2673709fb8f7
parent 25228 59afe8a0a7e1
child 25230 022029099a83
fixed typo
ANNOUNCE file | annotate | diff | comparison | revisions 
--- a/ANNOUNCE	Mon Oct 29 16:46:22 2007 +0100
+++ b/ANNOUNCE	Mon Oct 29 17:08:01 2007 +0100
@@ -28,7 +28,7 @@
 * New 'class' package combination of axclass + locale interpretation.
 
 * Built-in Metis prover, external linkup for automated provers, and
-'sledghammer' command for automated proof synthesis.
+'sledgehammer' command for automated proof synthesis.
 
 * Full list comprehension syntax.
isabelle