| changeset 32970 | fbd2bb2489a8 |
| parent 32898 | e871d897969c |
| child 32984 | 2ef1adff7eee |
--- a/NEWS Sat Oct 17 16:40:41 2009 +0200 +++ b/NEWS Sat Oct 17 16:58:03 2009 +0200 @@ -250,6 +250,9 @@ Syntax.pretty_typ/term directly, preferably with proper context instead of global theory. +* Operations of structure Skip_Proof (formerly SkipProof) no longer +require quick_and_dirty mode, which avoids critical setmp. + *** System ***