tuned;
authorwenzelm
Tue Jan 15 18:51:20 2002 +0100 (2002-01-15)
changeset 127690f70bfe510ee
parent 12768 8b69dcccaabc
child 12770 bdd17e7b5bd9
tuned;
NEWS
     1.1 --- a/NEWS	Tue Jan 15 18:43:51 2002 +0100
     1.2 +++ b/NEWS	Tue Jan 15 18:51:20 2002 +0100
     1.3 @@ -27,7 +27,7 @@
     1.4  
     1.5  * added default LaTeX bindings for \<tturnstile> and \<TTurnstile>;
     1.6  note that these symbols are currently unavailable in Proof General /
     1.7 -X-Symbol; added \<euro> symbol;
     1.8 +X-Symbol; new symbols \<zero>, \<one>, ..., \<nine>, and \<euro>;
     1.9  
    1.10  * isatool latex no longer depends on changed TEXINPUTS, instead
    1.11  isatool document copies the Isabelle style files to the target