equal
deleted
inserted
replaced
208 |
208 |
209 |
209 |
210 *** System *** |
210 *** System *** |
211 |
211 |
212 * Update/rebuild external provers on currently supported OS platforms, |
212 * Update/rebuild external provers on currently supported OS platforms, |
213 notably E prover 2.5, SPASS 3.8ds, CSDP 6.1.1. |
213 notably CVC4 1.8, E prover 2.5, SPASS 3.8ds, CSDP 6.1.1. |
214 |
214 |
215 * Discontinued obsolete isabelle display tool, and DVI_VIEWER settings |
215 * Discontinued obsolete isabelle display tool, and DVI_VIEWER settings |
216 variable. |
216 variable. |
217 |
217 |
218 * The command-line tool "isabelle logo" only outputs PDF; obsolete EPS |
218 * The command-line tool "isabelle logo" only outputs PDF; obsolete EPS |