Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 24633 0a3a02066244
parent 24627 cc6768509ed3
child 24636 e758837c0d18
equal deleted inserted replaced
24632:779fc4fcbf8b 24633:0a3a02066244 
  1140   (ns)deriv     <-- (ns)cderiv
 
  1140   (ns)deriv     <-- (ns)cderiv
 
  1141 
  1141 
  1142 
  1142 
  1143 *** ML ***
 
  1143 *** ML ***
 
  1144 
  1144 
  1145 * Generic arithmetic modules: Tools/integer.ML, Tools/rat.ML, Tools/float.ML
 
  1145 * Generic arithmetic modules: Tools/rat.ML, Tools/float.ML
 
  1146 
  1146 
  1147 * Context data interfaces (Theory/Proof/GenericDataFun): removed
 
  1147 * Context data interfaces (Theory/Proof/GenericDataFun): removed
 
  1148 name/print, uninitialized data defaults to ad-hoc copy of empty value,
 
  1148 name/print, uninitialized data defaults to ad-hoc copy of empty value,
 
  1149 init only required for impure data.  INCOMPATIBILITY: empty really
 
  1149 init only required for impure data.  INCOMPATIBILITY: empty really
 
  1150 need to be empty (no dependencies on theory content!)
 
  1150 need to be empty (no dependencies on theory content!)
isabelle