Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 81579 cf4bebd770b5
parent 81569 f8b28356ab94
child 81591 d570d215e380 
--- a/NEWS	Wed Dec 11 11:14:50 2024 +0100
+++ b/NEWS	Wed Dec 11 11:18:52 2024 +0100
@@ -106,6 +106,7 @@
   unbundle no abs_syntax
   unbundle no floor_ceiling_syntax
   unbundle no uminus_syntax
+  unbundle no binomial_syntax
   unbundle no funcset_syntax
 
 This is more robust than individual 'no_syntax' / 'no_notation'
isabelle