Sat, 30 Oct 2021 19:41:09 +0200 | wenzelm | prefer "sat_solver = MiniSat", to make examples work uniformly on all platforms; | file | diff | annotate |
Wed, 29 Sep 2021 23:45:50 +0200 | wenzelm | clarified antiquotations; | file | diff | annotate |
Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |