# HG changeset patch
# User wenzelm
# Date 1598360576 -7200
# Node ID b2f6fdff21fa3c3e2b2af41bed3d368631274194
# Parent  8ee5743a8b36c7cc8936e2b8fefe0ea2e07d0a2e
test HOL-Nitpick_Examples with Isabelle/Scala instead of external process: much faster;

diff -r 8ee5743a8b36 -r b2f6fdff21fa src/HOL/ROOT
--- a/src/HOL/ROOT	Tue Aug 25 14:55:33 2020 +0200
+++ b/src/HOL/ROOT	Tue Aug 25 15:02:56 2020 +0200
@@ -365,6 +365,7 @@
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2009
   "
+  options [kodkod_scala]
   sessions "HOL-Library"
   theories [quick_and_dirty] Nitpick_Examples