equal
deleted
inserted
replaced
82 |
82 |
83 |
83 |
84 *** Document preparation *** |
84 *** Document preparation *** |
85 |
85 |
86 * formal comments (text blocks etc.) in new-style theories may now |
86 * formal comments (text blocks etc.) in new-style theories may now |
87 contain antiquotations of thm/prop/term/typ to be presented according |
87 contain antiquotations of thm/prop/term/typ/text to be presented |
88 to latex print mode; concrete syntax is like this: @{term[show_types] |
88 according to latex print mode; concrete syntax is like this: |
89 "f(x) = a + x"}; |
89 @{term[show_types] "f(x) = a + x"}; |
90 |
90 |
91 * isatool mkdir provides easy setup of Isabelle session directories, |
91 * isatool mkdir provides easy setup of Isabelle session directories, |
92 including proper document sources; |
92 including proper document sources; |
93 |
93 |
94 * generated LaTeX sources are now deleted after successful run |
94 * generated LaTeX sources are now deleted after successful run |