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, 22 Dec 2017 21:23:06 +0100
changeset 67266 bf41a57e159f
parent 67265 f32287c95432
child 67267 c5994f1fa0fa
child 67269 42696c5a16ab
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Fri Dec 22 21:05:54 2017 +0100
+++ b/NEWS	Fri Dec 22 21:23:06 2017 +0100
@@ -74,7 +74,7 @@
 arguments into this format.
 
 * Action "isabelle.preview" is able to present more file formats,
-notably bibtex database files and plain text files.
+notably bibtex database files and ML files.
 
 * Action "isabelle.draft" is similar to "isabelle.preview", but shows a
 plain-text document draft.
isabelle