equal
deleted
inserted
replaced
85 |
85 |
86 * Document preparation with skip_proofs option now preserves the content |
86 * Document preparation with skip_proofs option now preserves the content |
87 more accurately: only terminal proof steps ('by' etc.) are skipped. |
87 more accurately: only terminal proof steps ('by' etc.) are skipped. |
88 |
88 |
89 * Command-line tool "isabelle document" has been re-implemented in |
89 * Command-line tool "isabelle document" has been re-implemented in |
90 Isabelle/Scala, with simplified arguments. Minor INCOMPATIBILITY. |
90 Isabelle/Scala, with simplified arguments and explicit errors from the |
91 |
91 latex process. Minor INCOMPATIBILITY. |
92 * Original source positions are inlined into generated tex files: this |
|
93 improves error messages by "isabelle document", but may sometimes |
|
94 confuse LaTeX. Rare INCOMPATIBILITY, set option |
|
95 "document_positions=false" to avoid this. |
|
96 |
92 |
97 |
93 |
98 *** HOL *** |
94 *** HOL *** |
99 |
95 |
100 * SMT module: |
96 * SMT module: |