NEWS
changeset 27269 1e9c05cddc64
parent 27246 df85326af57c
child 27287 3b0d7a417a8b
     1.1 --- a/NEWS	Wed Jun 18 23:07:30 2008 +0200
     1.2 +++ b/NEWS	Wed Jun 18 23:15:41 2008 +0200
     1.3 @@ -61,6 +61,12 @@
     1.4  the variables are specified as plain indexnames, not string encodings
     1.5  thereof.  INCOMPATIBILITY.
     1.6  
     1.7 +* Disposed old term read functions (Sign.read_def_terms,
     1.8 +Sign.read_term, Thm.read_def_cterms, Thm.read_cterm etc.).
     1.9 +INCOMPATIBILITY, should use regular Syntax.read_term,
    1.10 +Syntax.read_term_global etc.; see also OldGoals.read_term as last
    1.11 +resort for legacy applications.
    1.12 +
    1.13  
    1.14  
    1.15  New in Isabelle2008 (June 2008)