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
Mon, 24 Apr 2017 15:56:25 +0200
changeset 65575 f8681c62959d
parent 65574 10f4a17e5928
child 65576 8376f83f9094
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Apr 24 13:58:38 2017 +0200
+++ b/NEWS	Mon Apr 24 15:56:25 2017 +0200
@@ -74,7 +74,7 @@
 *** HOL ***
 
 * Theories "GCD" and "Binomial" are already included in "Main" (instead
-of "Complex_Main".
+of "Complex_Main").
 
 * Constants E/L/F in Library/Formal_Power_Series were renamed to
 fps_exp/fps_ln/fps_hypergeo to avoid polluting the name space.
isabelle