equal
deleted
inserted
replaced
123 |
123 |
124 *** Document preparation *** |
124 *** Document preparation *** |
125 |
125 |
126 * Antiquotation @{rail} layouts railroad syntax diagrams, see also |
126 * Antiquotation @{rail} layouts railroad syntax diagrams, see also |
127 isar-ref manual. |
127 isar-ref manual. |
|
128 |
|
129 * Antiquotation @{value} evaluates the given term and presents its result. |
128 |
130 |
129 * Localized \isabellestyle switch can be used within blocks or groups |
131 * Localized \isabellestyle switch can be used within blocks or groups |
130 like this: |
132 like this: |
131 |
133 |
132 \isabellestyle{it} %preferred default |
134 \isabellestyle{it} %preferred default |