| Wed, 17 Aug 2022 15:09:53 +0200 | blanchet | tweak Sledgehammer's slicing mechanism -- updated Zipperposition's slices and make them half as long as other provers' to pack more of them in 30 s | changeset | files |
| Wed, 17 Aug 2022 11:57:13 +0200 | wenzelm | tuned comments; | changeset | files |
| Wed, 17 Aug 2022 11:52:45 +0200 | wenzelm | updated to sumatra_pdf-3.4.6; | changeset | files |
| Wed, 17 Aug 2022 11:28:10 +0200 | wenzelm | proper Java/Scala compiler classpath (amending b42e20adaeed): ISABELLE_SETUP_CLASSPATH must not be included prematurely (breaks on Windows), instead use runtime Classpath().jars; | changeset | files |
| Tue, 16 Aug 2022 17:24:58 +0200 | blanchet | revived 'try0' and 'smart' Isar proofs in Sledgehammer | changeset | files |
| Tue, 16 Aug 2022 10:39:44 +0100 | paulson | Cleanup of NonstandardAnalysis | changeset | files |