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;
authorwenzelm
Thu, 29 Sep 2005 00:58:54 +0200
changeset 17701 6928771d256e
parent 17700 ac97a91d5572
child 17702 ea88ddeafabe
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Sep 28 18:50:42 2005 +0200
+++ b/NEWS	Thu Sep 29 00:58:54 2005 +0200
@@ -975,7 +975,7 @@
   Classical.del_context_unsafe_wrapper
 
 IMPORTANT NOTE: proof tools (methods etc.) need to use
-local_simpset_of and local_claset_of to instead of the primitive
+local_simpset_of and local_claset_of instead of the primitive
 Simplifier.get_local_simpset and Classical.get_local_claset,
 respectively, in order to see the context dependent fields!
isabelle