NEWS
changeset 12769 0f70bfe510ee
parent 12754 044a59921f3b
child 12777 70b2651af635
     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