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.
reactivate veriT after changing options in 11f645d25498
authorMathias Fleury <Mathias.Fleury@mpi-inf.mpg.de>
Fri, 16 Oct 2020 19:34:37 +0200
changeset 72486 e4d707eb7d1b
parent 72485 a0066948e7df
child 72487 ab32922f139b
child 72491 18e760349b86
reactivate veriT after changing options in 11f645d25498
Admin/components/main file | annotate | diff | comparison | revisions
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Fri Oct 16 15:09:41 2020 +0200
+++ b/Admin/components/main	Fri Oct 16 19:34:37 2020 +0200
@@ -22,4 +22,5 @@
 stack-2.1.3
 vampire-4.2.2
 xz-java-1.8
+verit-2020.10-rmx-1
 z3-4.4.0pre-3
--- a/src/HOL/ROOT	Fri Oct 16 15:09:41 2020 +0200
+++ b/src/HOL/ROOT	Fri Oct 16 19:34:37 2020 +0200
@@ -932,7 +932,6 @@
     SMT_Examples
     SMT_Word_Examples
     SMT_Tests
-  theories [condition = ISABELLE_VERIT]
     SMT_Tests_Verit
     SMT_Examples_Verit
isabelle