| changeset 69914 | 72301e1457b9 |
| parent 69911 | 036037573080 |
| parent 69913 | ca515cf61651 |
| child 69926 | 110fff287217 |
--- a/NEWS Thu Mar 14 19:06:40 2019 +0100 +++ b/NEWS Thu Mar 14 21:17:40 2019 +0100 @@ -40,6 +40,10 @@ need to provide a closed expression -- without trailing semicolon. Minor INCOMPATIBILITY. +* Command keywords of kind thy_decl / thy_goal may be more specifically +fit into the traditional document model of "definition-statement-proof" +via thy_defn / thy_stmt / thy_goal_defn / thy_goal_stmt. + *** Isabelle/jEdit Prover IDE ***