NEWS
changeset 15350 53d2927d9680
parent 15319 b8da286bb9ad
child 15356 cfd08f5e0bdd
     1.1 --- a/NEWS	Wed Dec 01 06:30:20 2004 +0100
     1.2 +++ b/NEWS	Wed Dec 01 06:33:52 2004 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  
     1.5  *** General ***
     1.6  
     1.7 +* Document preparation: new antiquotations @{lhs thm} and @{rhs thm}
     1.8 +  printing the lhs/rhs of definitions, equations, inequations etc. 
     1.9 +
    1.10  * isatool usedir: new option -f that allows specification of the ML
    1.11    file to be used by Isabelle; default is ROOT.ML.
    1.12