equal
deleted
inserted
replaced
142 |
142 |
143 * Library/Sum_of_Squares: simplified and improved "sos" method. Always |
143 * Library/Sum_of_Squares: simplified and improved "sos" method. Always |
144 use local CSDP executable, which is much faster than the NEOS server. |
144 use local CSDP executable, which is much faster than the NEOS server. |
145 The "sos_cert" functionality is invoked as "sos" with additional |
145 The "sos_cert" functionality is invoked as "sos" with additional |
146 argument. Minor INCOMPATIBILITY. |
146 argument. Minor INCOMPATIBILITY. |
|
147 |
|
148 |
|
149 *** Document preparation *** |
|
150 |
|
151 * Official support for "tt" style variants, via \isatt{...} or |
|
152 \begin{isabellett}...\end{isabellett}. The somewhat fragile \verb or |
|
153 verbatim environment of LaTeX is no longer used. This allows @{ML} etc. |
|
154 as argument to other macros (such as footnotes). |
|
155 |
|
156 * Document antiquotation @{verbatim} prints ASCII text literally in "tt" |
|
157 style. |
147 |
158 |
148 |
159 |
149 *** ML *** |
160 *** ML *** |
150 |
161 |
151 * Tactical PARALLEL_ALLGOALS is the most common way to refer to |
162 * Tactical PARALLEL_ALLGOALS is the most common way to refer to |