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