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 26724 ff6ff3a9010e
parent 26718 0c652e82fdf4
child 26748 4d51ddd6aa5c
equal deleted inserted replaced
26723:3e4bb1ca9a74 26724:ff6ff3a9010e 
   244 
   244 
   245 
   245 
   246 *** ML ***
 
   246 *** ML ***
 
   247 
   247 
   248 * Functor NamedThmsFun: data is available to the user as dynamic fact
 
   248 * Functor NamedThmsFun: data is available to the user as dynamic fact
 
   249 (of the same name).
 
   249 (of the same name).  Removed obsolete print command.
 
   250 
   250 
   251 * Removed obsolete "use_legacy_bindings" function.  INCOMPATIBILITY.
 
   251 * Removed obsolete "use_legacy_bindings" function.  INCOMPATIBILITY.
 
   252 
   252 
   253 * ML within Isar: antiquotation @{const name} or @{const
 
   253 * ML within Isar: antiquotation @{const name} or @{const
 
   254 name(typargs)} produces statically-checked Const term.
 
   254 name(typargs)} produces statically-checked Const term.
isabelle