equal
deleted
inserted
replaced
220 * Path.append is available as overloaded "+" operator, similar to |
220 * Path.append is available as overloaded "+" operator, similar to |
221 corresponding Isabelle/Scala operation. |
221 corresponding Isabelle/Scala operation. |
222 |
222 |
223 |
223 |
224 *** System *** |
224 *** System *** |
|
225 |
|
226 * The command-line tool "isabelle log" prints messages from the build |
|
227 database of the given session. |
225 |
228 |
226 * Update/rebuild external provers on currently supported OS platforms, |
229 * Update/rebuild external provers on currently supported OS platforms, |
227 notably CVC4 1.8, E prover 2.5, SPASS 3.8ds, CSDP 6.1.1. |
230 notably CVC4 1.8, E prover 2.5, SPASS 3.8ds, CSDP 6.1.1. |
228 |
231 |
229 * Discontinued obsolete isabelle display tool, and DVI_VIEWER settings |
232 * Discontinued obsolete isabelle display tool, and DVI_VIEWER settings |