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
authorhaftmann
Tue, 22 Sep 2015 16:05:19 +0200
changeset 61228 e602ad539155
parent 61227 19ee25fe9737
child 61230 e367b93f78e5
tuned
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Tue Sep 22 12:10:25 2015 +0200
+++ b/NEWS	Tue Sep 22 16:05:19 2015 +0200
@@ -185,7 +185,7 @@
 
 * Abbreviations in type classes now carry proper sort constraint.
 Rare INCOMPATIBILITY in situations where the previous misbehaviour
-has been exploited previously.
+has been exploited.
 
 * Refinement of user-space type system in type classes: pseudo-local
 operations behave more similar to abbreviations.  Potential
isabelle