changeset 51382 | 51957d006677 |
parent 51316 | dfe469293eb4 |
child 51398 | c3d02b3518c2 |
--- a/NEWS Fri Mar 08 17:19:27 2013 +0100 +++ b/NEWS Sat Mar 09 11:56:01 2013 +0100 @@ -26,6 +26,9 @@ *** HOL *** +* Discontinued theory src/HOL/Library/Eval_Witness. +INCOMPATIBILITY. + * Discontinued obsolete src/HOL/IsaMakefile (considered legacy since Isabelle2013). Use "isabelle build" to operate on Isabelle sessions.