| Sat, 30 Oct 2021 19:41:09 +0200 | wenzelm | prefer "sat_solver = MiniSat", to make examples work uniformly on all platforms; | file | diff | annotate |
| Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |