NEWS
changeset 60618 4c79543cc376
parent 60617 0eb41780449b
child 60622 57b5293bceac
--- a/NEWS	Tue Jun 30 10:40:42 2015 +0200
+++ b/NEWS	Tue Jun 30 15:20:56 2015 +0200
@@ -97,6 +97,11 @@
 INCOMPATIBILITY, need to adapt uses of case facts in exotic situations,
 and always put attributes in front.
 
+* The standard proof method of commands 'proof' and '..' is now called
+"standard" to make semantically clear what it is; the old name "default"
+is still available as legacy for some time. Documentation now explains
+'..' more accurately as "by standard" instead of "by rule".
+
 * Proof method "goals" turns the current subgoals into cases within the
 context; the conclusion is bound to variable ?case in each case.
 For example: