Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper settings variable, amending 6e85281177df;
authorwenzelm
Mon, 10 May 2021 17:15:37 +0200
changeset 73657 dceb5dde442f
parent 73656 0476728f2887
child 73658 f6b453449cc6
proper settings variable, amending 6e85281177df;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Mon May 10 16:26:15 2021 +0200
+++ b/src/HOL/ROOT	Mon May 10 17:15:37 2021 +0200
@@ -955,7 +955,7 @@
     SMT_Word_Examples
     SMT_Examples_Verit
     SMT_Tests_Verit
-  theories [condition = Z3_SOLVER]
+  theories [condition = Z3_INSTALLED]
     SMT_Tests
 
 session "HOL-SPARK" in "SPARK" = HOL +
isabelle