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 English;
authorwenzelm
Mon, 19 Oct 2015 20:31:13 +0200
changeset 61488 d40cbf1f37c9
parent 61487 f8cb97e0fd0b
child 61489 b8d375aee0df
tuned English;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Oct 19 20:29:29 2015 +0200
+++ b/NEWS	Mon Oct 19 20:31:13 2015 +0200
@@ -65,7 +65,7 @@
 
 * HTML presentation uses the standard IsabelleText font and Unicode
 rendering of Isabelle symbols like Isabelle/Scala/jEdit.  The former
-print mode "HTML" looses its special meaning.
+print mode "HTML" loses its special meaning.
 
 * Commands 'paragraph' and 'subparagraph' provide additional section
 headings. Thus there are 6 levels of standard headings, as in HTML.
isabelle