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, 10 Sep 2021 23:18:51 +0200
changeset 74289 7492cd35782e
parent 74288 1fc263b5aac1
child 74290 b2ad24b5a42c
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Fri Sep 10 23:03:47 2021 +0200
+++ b/NEWS	Fri Sep 10 23:18:51 2021 +0200
@@ -253,7 +253,7 @@
 For example:
 
   - type 'a Symtab.table etc.: build
-  - Type 'a Names.table etc.: build
+  - type 'a Names.table etc.: build
   - type 'a list: build and build_rev
   - type Buffer.T: build and build_content
isabelle