changeset 43613 | 7afbaf5a406b |
parent 43581 | c3e4d280bdeb |
child 43627 | ecd4bb7a8bc0 |
--- a/NEWS Fri Jul 01 10:45:49 2011 +0200 +++ b/NEWS Fri Jul 01 10:45:51 2011 +0200 @@ -126,6 +126,8 @@ * Antiquotation @{rail} layouts railroad syntax diagrams, see also isar-ref manual. +* Antiquotation @{value} evaluates the given term and presents its result. + * Localized \isabellestyle switch can be used within blocks or groups like this: