equal
deleted
inserted
replaced
243 session log file is restricted to system messages of the overall build |
243 session log file is restricted to system messages of the overall build |
244 process, and thus becomes more informative. |
244 process, and thus becomes more informative. |
245 |
245 |
246 * Update/rebuild external provers on currently supported OS platforms, |
246 * Update/rebuild external provers on currently supported OS platforms, |
247 notably CVC4 1.8, E prover 2.5, SPASS 3.8ds, CSDP 6.1.1. |
247 notably CVC4 1.8, E prover 2.5, SPASS 3.8ds, CSDP 6.1.1. |
|
248 |
|
249 * External prover Zipperposition 2.0 is available as component for |
|
250 experimentation. |
248 |
251 |
249 * Discontinued obsolete isabelle display tool, and DVI_VIEWER settings |
252 * Discontinued obsolete isabelle display tool, and DVI_VIEWER settings |
250 variable. |
253 variable. |
251 |
254 |
252 * The command-line tool "isabelle logo" only outputs PDF; obsolete EPS |
255 * The command-line tool "isabelle logo" only outputs PDF; obsolete EPS |