[isabelle-dev] NEWS

Makarius makarius at sketis.net
Wed Aug 8 23:12:49 CEST 2007

* Theory loader: old-style ML proof scripts being *attached* to a thy
file (with the same base name as the theory) are considered a legacy
feature, which will disappear eventually. Even now, the theory loader no
longer maintains dependencies on such files.

More information about the isabelle-dev mailing list