NEWS
changeset 12690 ac3fa7c05e5a
parent 12622 7592926925d4
child 12707 4013be8572c5
     1.1 --- a/NEWS	Wed Jan 09 17:36:54 2002 +0100
     1.2 +++ b/NEWS	Wed Jan 09 17:42:49 2002 +0100
     1.3 @@ -27,7 +27,11 @@
     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;
     1.8 +X-Symbol; added \<euro> symbol;
     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
    1.12 +location;
    1.13  
    1.14  
    1.15  *** Isar ***
    1.16 @@ -241,6 +245,8 @@
    1.17  parts turned into readable document, with proper Isar proof texts and
    1.18  some explanations (by Gerwin Klein);
    1.19  
    1.20 +* HOL-Hyperreal is now a logic image;
    1.21 +
    1.22  
    1.23  *** HOLCF ***
    1.24