| Thu, 15 Jul 2021 16:35:45 +0200 | wenzelm | build.props for isabelle.jar, including isabelle.jedit; | file | diff | annotate |
| Thu, 11 Mar 2021 12:16:17 +0100 | wenzelm | clarified components; | file | diff | annotate |
| Thu, 27 Aug 2020 17:15:33 +0200 | wenzelm | initial Kodkod.warmup: preloading and basic integrity test; | file | diff | annotate |
| Sat, 22 Aug 2020 23:22:25 +0200 | wenzelm | invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process); | file | diff | annotate |
| Wed, 01 Jan 2014 13:24:23 +0100 | wenzelm | simplified settings for src/HOL/Tools/SMT; | file | diff | annotate | base |