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