NEWS
changeset 51553 63327f679cff
parent 51551 88d1d19fb74f
child 51565 5e9fdbdf88ce
--- a/NEWS	Wed Mar 27 14:50:30 2013 +0100
+++ b/NEWS	Wed Mar 27 16:38:25 2013 +0100
@@ -26,6 +26,8 @@
 * Dockable window "Timing" provides an overview of relevant command
 timing information.
 
+* Option to skip over proofs, using implicit 'sorry' internally.
+
 
 *** Pure ***