NEWS
changeset 63059 3f577308551e
parent 63043 df83a961d3a8
child 63066 4b0ad6c5d1ca
     1.1 --- a/NEWS	Tue Apr 26 21:46:12 2016 +0200
     1.2 +++ b/NEWS	Tue Apr 26 22:39:17 2016 +0200
     1.3 @@ -64,6 +64,9 @@
     1.4  'definition' and 'obtain'. It fits better into the Isar language than
     1.5  old 'def', which is now a legacy feature.
     1.6  
     1.7 +* Command 'obtain' supports structured statements with 'if' / 'for'
     1.8 +context.
     1.9 +
    1.10  * Command '\<proof>' is an alias for 'sorry', with different
    1.11  typesetting. E.g. to produce proof holes in examples and documentation.
    1.12