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
Fri, 05 Jun 2015 13:26:12 +0200
changeset 60370 9ec1d3d2068e
parent 60369 f393a3fe884c
child 60371 8a5cfdda1b98
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Fri Jun 05 11:11:26 2015 +0200
+++ b/NEWS	Fri Jun 05 13:26:12 2015 +0200
@@ -12,9 +12,6 @@
 * Configuration option rule_insts_schematic has been discontinued
 (intermediate legacy feature in Isabelle2015).  INCOMPATIBILITY.
 
-
-*** Pure ***
-
 * Abbreviations in type classes now carry proper sort constraint.
 Rare INCOMPATIBILITY in situations where the previous misbehaviour
 has been exploited previously.
isabelle