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
Tue, 15 Jan 2002 18:51:20 +0100
changeset 12769 0f70bfe510ee
parent 12768 8b69dcccaabc
child 12770 bdd17e7b5bd9
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Tue Jan 15 18:43:51 2002 +0100
+++ b/NEWS	Tue Jan 15 18:51:20 2002 +0100
@@ -27,7 +27,7 @@
 
 * added default LaTeX bindings for \<tturnstile> and \<TTurnstile>;
 note that these symbols are currently unavailable in Proof General /
-X-Symbol; added \<euro> symbol;
+X-Symbol; new symbols \<zero>, \<one>, ..., \<nine>, and \<euro>;
 
 * isatool latex no longer depends on changed TEXINPUTS, instead
 isatool document copies the Isabelle style files to the target
isabelle