diff --git a/thys/AODV/config b/thys/AODV/config deleted file mode 100644 --- a/thys/AODV/config +++ /dev/null @@ -1,10 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="tim@tbrk.org" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="no" - diff --git a/thys/AVL-Trees/config b/thys/AVL-Trees/config deleted file mode 100644 --- a/thys/AVL-Trees/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kleing@cse.unsw.edu.au" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/AWN/config b/thys/AWN/config deleted file mode 100644 --- a/thys/AWN/config +++ /dev/null @@ -1,10 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="tim@tbrk.org" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" - diff --git a/thys/Abortable_Linearizable_Modules/config b/thys/Abortable_Linearizable_Modules/config deleted file mode 100644 --- a/thys/Abortable_Linearizable_Modules/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="giuliano@losa.fr nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Abstract-Hoare-Logics/config b/thys/Abstract-Hoare-Logics/config deleted file mode 100644 --- a/thys/Abstract-Hoare-Logics/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Abstract-Rewriting/config b/thys/Abstract-Rewriting/config deleted file mode 100644 --- a/thys/Abstract-Rewriting/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="christian.sternagel@uibk.ac.at rene.thiemann@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Abstract_Completeness/config b/thys/Abstract_Completeness/config deleted file mode 100644 --- a/thys/Abstract_Completeness/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="traytel@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Affine_Arithmetic/config b/thys/Affine_Arithmetic/config deleted file mode 100644 --- a/thys/Affine_Arithmetic/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="immler@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Akra_Bazzi/config b/thys/Akra_Bazzi/config deleted file mode 100644 --- a/thys/Akra_Bazzi/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="eberlm@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Algebraic_Numbers/config b/thys/Algebraic_Numbers/config deleted file mode 100644 --- a/thys/Algebraic_Numbers/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rene.thiemann@uibk.ac.at akihisa.yamada@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Amortized_Complexity/config b/thys/Amortized_Complexity/config deleted file mode 100644 --- a/thys/Amortized_Complexity/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Applicative_Lifting/config b/thys/Applicative_Lifting/config deleted file mode 100644 --- a/thys/Applicative_Lifting/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="andreas.lochbihler@inf.ethz.ch" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/ArrowImpossibilityGS/config b/thys/ArrowImpossibilityGS/config deleted file mode 100644 --- a/thys/ArrowImpossibilityGS/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/AutoFocus-Stream/config b/thys/AutoFocus-Stream/config deleted file mode 100644 --- a/thys/AutoFocus-Stream/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Automatic_Refinement/config b/thys/Automatic_Refinement/config deleted file mode 100644 --- a/thys/Automatic_Refinement/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lammich@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/BDD/config b/thys/BDD/config deleted file mode 100644 --- a/thys/BDD/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kleing@cse.unsw.edu.au norbert.schirmer@web.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Bell_Numbers_Spivey/config b/thys/Bell_Numbers_Spivey/config deleted file mode 100644 --- a/thys/Bell_Numbers_Spivey/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lukas.bulwahn@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/BinarySearchTree/config b/thys/BinarySearchTree/config deleted file mode 100644 --- a/thys/BinarySearchTree/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lp15@cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Binomial-Heaps/config b/thys/Binomial-Heaps/config deleted file mode 100644 --- a/thys/Binomial-Heaps/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="peter.lammich@uni-muenster.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Binomial-Queues/config b/thys/Binomial-Queues/config deleted file mode 100644 --- a/thys/Binomial-Queues/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="florian.haftmann@informatik.tu-muenchen.de rene.neumann@informatik.tu-muenchen.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Bondy/config b/thys/Bondy/config deleted file mode 100644 --- a/thys/Bondy/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="avigad@cmu.edu hetzl@logic.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Boolean_Expression_Checkers/config b/thys/Boolean_Expression_Checkers/config deleted file mode 100644 --- a/thys/Boolean_Expression_Checkers/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Bounded_Deducibility_Security/config b/thys/Bounded_Deducibility_Security/config deleted file mode 100644 --- a/thys/Bounded_Deducibility_Security/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="uuomul@yahoo.com lammich@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/BytecodeLogicJmlTypes/config b/thys/BytecodeLogicJmlTypes/config deleted file mode 100644 --- a/thys/BytecodeLogicJmlTypes/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/CAVA_Automata/config b/thys/CAVA_Automata/config deleted file mode 100644 --- a/thys/CAVA_Automata/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lammich@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/CAVA_LTL_Modelchecker/config b/thys/CAVA_LTL_Modelchecker/config deleted file mode 100644 --- a/thys/CAVA_LTL_Modelchecker/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rene.neumann@in.tum.de lammich@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/CCS/config b/thys/CCS/config deleted file mode 100644 --- a/thys/CCS/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/CISC-Kernel/config b/thys/CISC-Kernel/config deleted file mode 100644 --- a/thys/CISC-Kernel/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" - -# maintainer: Burkhart Wolff -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/CYK/config b/thys/CYK/config deleted file mode 100644 --- a/thys/CYK/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="maksym.bortin@nicta.com.au" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Card_Number_Partitions/config b/thys/Card_Number_Partitions/config deleted file mode 100644 --- a/thys/Card_Number_Partitions/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lukas.bulwahn@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Card_Partitions/config b/thys/Card_Partitions/config deleted file mode 100644 --- a/thys/Card_Partitions/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lukas.bulwahn@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Case_Labeling/config b/thys/Case_Labeling/config deleted file mode 100644 --- a/thys/Case_Labeling/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="noschinl@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Category/config b/thys/Category/config deleted file mode 100644 --- a/thys/Category/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lcp@cl.cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Category2/config b/thys/Category2/config deleted file mode 100644 --- a/thys/Category2/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="apk32@cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Cauchy/config b/thys/Cauchy/config deleted file mode 100644 --- a/thys/Cauchy/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kleing@cse.unsw.edu.au" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Cayley_Hamilton/config b/thys/Cayley_Hamilton/config deleted file mode 100644 --- a/thys/Cayley_Hamilton/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="stvienna@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Certification_Monads/config b/thys/Certification_Monads/config deleted file mode 100644 --- a/thys/Certification_Monads/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="c.sternagel@gmail.com rene.thiemann@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Circus/config b/thys/Circus/config deleted file mode 100644 --- a/thys/Circus/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/ClockSynchInst/config b/thys/ClockSynchInst/config deleted file mode 100644 --- a/thys/ClockSynchInst/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kleing@cse.unsw.edu.au" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/CofGroups/config b/thys/CofGroups/config deleted file mode 100644 --- a/thys/CofGroups/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Coinductive/config b/thys/Coinductive/config deleted file mode 100644 --- a/thys/Coinductive/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="andreas.lochbihler@inf.ethz.ch" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Coinductive_Languages/config b/thys/Coinductive_Languages/config deleted file mode 100644 --- a/thys/Coinductive_Languages/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="traytel@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Collections/config b/thys/Collections/config deleted file mode 100644 --- a/thys/Collections/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lammich@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Compiling-Exceptions-Correctly/config b/thys/Compiling-Exceptions-Correctly/config deleted file mode 100644 --- a/thys/Compiling-Exceptions-Correctly/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Completeness/config b/thys/Completeness/config deleted file mode 100644 --- a/thys/Completeness/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lp15@cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/ComponentDependencies/config b/thys/ComponentDependencies/config deleted file mode 100644 --- a/thys/ComponentDependencies/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="maria.spichkova@rmit.edu.au" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/ConcurrentGC/config b/thys/ConcurrentGC/config deleted file mode 100644 --- a/thys/ConcurrentGC/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="peteg42@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/ConcurrentIMP/config b/thys/ConcurrentIMP/config deleted file mode 100644 --- a/thys/ConcurrentIMP/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="peteg42@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Consensus_Refined/config b/thys/Consensus_Refined/config deleted file mode 100644 --- a/thys/Consensus_Refined/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="omaric@inf.ethz.ch" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Containers/config b/thys/Containers/config deleted file mode 100644 --- a/thys/Containers/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="andreas.lochbihler@inf.ethz.ch" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/CoreC++/config b/thys/CoreC++/config deleted file mode 100644 --- a/thys/CoreC++/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="daniel.wasserrab@kit.edu nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/CryptoBasedCompositionalProperties/config b/thys/CryptoBasedCompositionalProperties/config deleted file mode 100644 --- a/thys/CryptoBasedCompositionalProperties/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="maria.spichkova@rmit.edu.au" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/DPT-SAT-Solver/config b/thys/DPT-SAT-Solver/config deleted file mode 100644 --- a/thys/DPT-SAT-Solver/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="jasmin.blanchette@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/DataRefinementIBP/config b/thys/DataRefinementIBP/config deleted file mode 100644 --- a/thys/DataRefinementIBP/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="viorel.preoteasa@abo.fi" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Datatype_Order_Generator/config b/thys/Datatype_Order_Generator/config deleted file mode 100644 --- a/thys/Datatype_Order_Generator/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rene.thiemann@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Decreasing-Diagrams-II/config b/thys/Decreasing-Diagrams-II/config deleted file mode 100644 --- a/thys/Decreasing-Diagrams-II/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="bertram.felgenhauer@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Decreasing-Diagrams/config b/thys/Decreasing-Diagrams/config deleted file mode 100644 --- a/thys/Decreasing-Diagrams/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="Harald.Zankl@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Density_Compiler/config b/thys/Density_Compiler/config deleted file mode 100644 --- a/thys/Density_Compiler/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="hoelzl@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Depth-First-Search/config b/thys/Depth-First-Search/config deleted file mode 100644 --- a/thys/Depth-First-Search/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lp15@cam.ac.uk krauss@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Derangements/config b/thys/Derangements/config deleted file mode 100644 --- a/thys/Derangements/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lukas.bulwahn@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Deriving/config b/thys/Deriving/config deleted file mode 100644 --- a/thys/Deriving/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rene.thiemann@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Descartes_Sign_Rule/config b/thys/Descartes_Sign_Rule/config deleted file mode 100644 --- a/thys/Descartes_Sign_Rule/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="eberlm@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Dijkstra_Shortest_Path/config b/thys/Dijkstra_Shortest_Path/config deleted file mode 100644 --- a/thys/Dijkstra_Shortest_Path/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lammich@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Discrete_Summation/config b/thys/Discrete_Summation/config deleted file mode 100644 --- a/thys/Discrete_Summation/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="florian.haftmann@informatik.tu-muenchen.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/DiskPaxos/config b/thys/DiskPaxos/config deleted file mode 100644 --- a/thys/DiskPaxos/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kleing@cse.unsw.edu.au" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Dynamic_Tables/config b/thys/Dynamic_Tables/config deleted file mode 100644 --- a/thys/Dynamic_Tables/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Echelon_Form/config b/thys/Echelon_Form/config deleted file mode 100644 --- a/thys/Echelon_Form/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="jose.divasonm@unirioja.es jesus-maria.aransay@unirioja.es" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Efficient-Mergesort/config b/thys/Efficient-Mergesort/config deleted file mode 100644 --- a/thys/Efficient-Mergesort/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="c.sternagel@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Encodability_Process_Calculi/config b/thys/Encodability_Process_Calculi/config deleted file mode 100644 --- a/thys/Encodability_Process_Calculi/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kirstin.peters@tu-berlin.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Ergodic_Theory/config b/thys/Ergodic_Theory/config deleted file mode 100644 --- a/thys/Ergodic_Theory/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="sebastien.gouezel@univ-rennes1.fr","hoelzl@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Euler_Partition/config b/thys/Euler_Partition/config deleted file mode 100644 --- a/thys/Euler_Partition/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lukas.bulwahn@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Example-Submission/config b/thys/Example-Submission/config deleted file mode 100644 --- a/thys/Example-Submission/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kleing@cse.unsw.edu.au" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/FFT/config b/thys/FFT/config deleted file mode 100644 --- a/thys/FFT/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="ballarin@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/FLP/config b/thys/FLP/config deleted file mode 100644 --- a/thys/FLP/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="henning.seidler@mailbox.tu-berlin.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/FOL-Fitting/config b/thys/FOL-Fitting/config deleted file mode 100644 --- a/thys/FOL-Fitting/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="berghofe@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/FeatherweightJava/config b/thys/FeatherweightJava/config deleted file mode 100644 --- a/thys/FeatherweightJava/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kleing@cse.unsw.edu.au" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Featherweight_OCL/config b/thys/Featherweight_OCL/config deleted file mode 100644 --- a/thys/Featherweight_OCL/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="brucker@spamfence.net wolff@lri.fr frederic.tuong@lri.fr" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Fermat3_4/config b/thys/Fermat3_4/config deleted file mode 100644 --- a/thys/Fermat3_4/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de roelofoosterhuis@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/FileRefinement/config b/thys/FileRefinement/config deleted file mode 100644 --- a/thys/FileRefinement/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kkz@mit.edu" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/FinFun/config b/thys/FinFun/config deleted file mode 100644 --- a/thys/FinFun/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Finger-Trees/config b/thys/Finger-Trees/config deleted file mode 100644 --- a/thys/Finger-Trees/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="peter.lammich@uni-muenster.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Finite_Automata_HF/config b/thys/Finite_Automata_HF/config deleted file mode 100644 --- a/thys/Finite_Automata_HF/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lp15@cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Flyspeck-Tame/config b/thys/Flyspeck-Tame/config deleted file mode 100644 --- a/thys/Flyspeck-Tame/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="no" diff --git a/thys/FocusStreamsCaseStudies/config b/thys/FocusStreamsCaseStudies/config deleted file mode 100644 --- a/thys/FocusStreamsCaseStudies/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lp15@cam.ac.uk maria.spichkova@rmit.edu.au" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Formal_SSA/config b/thys/Formal_SSA/config deleted file mode 100644 --- a/thys/Formal_SSA/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="denis.lohner@kit.edu" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Formula_Derivatives/config b/thys/Formula_Derivatives/config deleted file mode 100644 --- a/thys/Formula_Derivatives/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="traytel@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Free-Boolean-Algebra/config b/thys/Free-Boolean-Algebra/config deleted file mode 100644 --- a/thys/Free-Boolean-Algebra/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="brianh@cs.pdx.edu" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Free-Groups/config b/thys/Free-Groups/config deleted file mode 100644 --- a/thys/Free-Groups/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/FunWithFunctions/config b/thys/FunWithFunctions/config deleted file mode 100644 --- a/thys/FunWithFunctions/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/FunWithTilings/config b/thys/FunWithTilings/config deleted file mode 100644 --- a/thys/FunWithTilings/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Functional-Automata/config b/thys/Functional-Automata/config deleted file mode 100644 --- a/thys/Functional-Automata/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/GPU_Kernel_PL/config b/thys/GPU_Kernel_PL/config deleted file mode 100644 --- a/thys/GPU_Kernel_PL/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Gabow_SCC/config b/thys/Gabow_SCC/config deleted file mode 100644 --- a/thys/Gabow_SCC/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lammich@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Gauss-Jordan-Elim-Fun/config b/thys/Gauss-Jordan-Elim-Fun/config deleted file mode 100644 --- a/thys/Gauss-Jordan-Elim-Fun/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Gauss_Jordan/config b/thys/Gauss_Jordan/config deleted file mode 100644 --- a/thys/Gauss_Jordan/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="jose.divasonm@unirioja.es jesus-maria.aransay@unirioja.es" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/GenClock/config b/thys/GenClock/config deleted file mode 100644 --- a/thys/GenClock/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kleing@cse.unsw.edu.au" # Alwen.Tiu@loria.fr" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/General-Triangle/config b/thys/General-Triangle/config deleted file mode 100644 --- a/thys/General-Triangle/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="mail@joachim-breitner.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Girth_Chromatic/config b/thys/Girth_Chromatic/config deleted file mode 100644 --- a/thys/Girth_Chromatic/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="noschinl@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/GoedelGod/config b/thys/GoedelGod/config deleted file mode 100644 --- a/thys/GoedelGod/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lp15@cam.ac.uk c.benzmueller@fu-berlin.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/GraphMarkingIBP/config b/thys/GraphMarkingIBP/config deleted file mode 100644 --- a/thys/GraphMarkingIBP/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="viorel.preoteasa@abo.fi" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Graph_Theory/config b/thys/Graph_Theory/config deleted file mode 100644 --- a/thys/Graph_Theory/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="noschinl@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Groebner_Bases/config b/thys/Groebner_Bases/config deleted file mode 100644 --- a/thys/Groebner_Bases/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="alexander.maletzky@risc.jku.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Group-Ring-Module/config b/thys/Group-Ring-Module/config deleted file mode 100644 --- a/thys/Group-Ring-Module/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lp15@cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/HRB-Slicing/config b/thys/HRB-Slicing/config deleted file mode 100644 --- a/thys/HRB-Slicing/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de daniel.wasserrab@kit.edu" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Heard_Of/config b/thys/Heard_Of/config deleted file mode 100644 --- a/thys/Heard_Of/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="Stephan.Merz@loria.fr" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/HereditarilyFinite/config b/thys/HereditarilyFinite/config deleted file mode 100644 --- a/thys/HereditarilyFinite/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lp15@cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Hermite/config b/thys/Hermite/config deleted file mode 100644 --- a/thys/Hermite/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="jose.divasonm@unirioja.es jesus-maria.aransay@unirioja.es" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/HotelKeyCards/config b/thys/HotelKeyCards/config deleted file mode 100644 --- a/thys/HotelKeyCards/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Huffman/config b/thys/Huffman/config deleted file mode 100644 --- a/thys/Huffman/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="jasmin.blanchette@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/HyperCTL/config b/thys/HyperCTL/config deleted file mode 100644 --- a/thys/HyperCTL/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="uuomul@yahoo.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/IEEE_Floating_Point/config b/thys/IEEE_Floating_Point/config deleted file mode 100644 --- a/thys/IEEE_Floating_Point/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lp15@cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Imperative_Insertion_Sort/config b/thys/Imperative_Insertion_Sort/config deleted file mode 100644 --- a/thys/Imperative_Insertion_Sort/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lp15@cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Impossible_Geometry/config b/thys/Impossible_Geometry/config deleted file mode 100644 --- a/thys/Impossible_Geometry/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="ralph.romanos@student.ecp.fr lp15@cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Incompleteness/config b/thys/Incompleteness/config deleted file mode 100644 --- a/thys/Incompleteness/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lp15@cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Inductive_Confidentiality/config b/thys/Inductive_Confidentiality/config deleted file mode 100644 --- a/thys/Inductive_Confidentiality/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="giamp@dmi.unict.it" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/InformationFlowSlicing/config b/thys/InformationFlowSlicing/config deleted file mode 100644 --- a/thys/InformationFlowSlicing/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="daniel.wasserrab@kit.edu" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Integration/config b/thys/Integration/config deleted file mode 100644 --- a/thys/Integration/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="richter@informatik.rwth-aachen.de nipkow@in.tum.de hoelzl@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Isabelle_Meta_Model/config b/thys/Isabelle_Meta_Model/config deleted file mode 100644 --- a/thys/Isabelle_Meta_Model/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="tuong@lri.fr wolff@lri.fr" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Jinja/config b/thys/Jinja/config deleted file mode 100644 --- a/thys/Jinja/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kleing@cse.unsw.edu.au nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/JinjaThreads/config b/thys/JinjaThreads/config deleted file mode 100644 --- a/thys/JinjaThreads/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="andreas.lochbihler@inf.ethz.ch" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="no" diff --git a/thys/JiveDataStoreModel/config b/thys/JiveDataStoreModel/config deleted file mode 100644 --- a/thys/JiveDataStoreModel/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kleing@cse.unsw.edu.au schirmer@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Jordan_Hoelder/config b/thys/Jordan_Hoelder/config deleted file mode 100644 --- a/thys/Jordan_Hoelder/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="jakob.raumer@student.kit.edu" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Jordan_Normal_Form/config b/thys/Jordan_Normal_Form/config deleted file mode 100644 --- a/thys/Jordan_Normal_Form/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rene.thiemann@uibk.ac.at akihisa.yamada@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/KAD/config b/thys/KAD/config deleted file mode 100644 --- a/thys/KAD/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="walter.guttman@canterbury.ac.nz g.struth@sheffield.ac.uk tjark.weber@it.uu.se" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/KAT_and_DRA/config b/thys/KAT_and_DRA/config deleted file mode 100644 --- a/thys/KAT_and_DRA/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="g.struth@dcs.shef.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/KBPs/config b/thys/KBPs/config deleted file mode 100644 --- a/thys/KBPs/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kleing@cse.unsw.edu.au" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Kleene_Algebra/config b/thys/Kleene_Algebra/config deleted file mode 100644 --- a/thys/Kleene_Algebra/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="g.struth@sheffield.ac.uk tjark.weber@it.uu.se" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Knot_Theory/config b/thys/Knot_Theory/config deleted file mode 100644 --- a/thys/Knot_Theory/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="prathamesh@imsc.res.in" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Koenigsberg_Friendship/config b/thys/Koenigsberg_Friendship/config deleted file mode 100644 --- a/thys/Koenigsberg_Friendship/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/LTL/config b/thys/LTL/config deleted file mode 100644 --- a/thys/LTL/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="sickert@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" \ No newline at end of file diff --git a/thys/LTL_to_DRA/config b/thys/LTL_to_DRA/config deleted file mode 100644 --- a/thys/LTL_to_DRA/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="sickert@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/LTL_to_GBA/config b/thys/LTL_to_GBA/config deleted file mode 100644 --- a/thys/LTL_to_GBA/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lammich@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Lam-ml-Normalization/config b/thys/Lam-ml-Normalization/config deleted file mode 100644 --- a/thys/Lam-ml-Normalization/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="doczkal@ps.uni-saarland.de nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Landau_Symbols/config b/thys/Landau_Symbols/config deleted file mode 100644 --- a/thys/Landau_Symbols/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="eberlm@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Latin_Square/config b/thys/Latin_Square/config deleted file mode 100644 --- a/thys/Latin_Square/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="bentkamp@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/LatticeProperties/config b/thys/LatticeProperties/config deleted file mode 100644 --- a/thys/LatticeProperties/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="viorel.preoteasa@abo.fi" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Launchbury/config b/thys/Launchbury/config deleted file mode 100644 --- a/thys/Launchbury/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Lazy-Lists-II/config b/thys/Lazy-Lists-II/config deleted file mode 100644 --- a/thys/Lazy-Lists-II/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lcp@cl.cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Lehmer/config b/thys/Lehmer/config deleted file mode 100644 --- a/thys/Lehmer/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="noschinl@in.tum.de simon.wimmer@tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Lifting_Definition_Option/config b/thys/Lifting_Definition_Option/config deleted file mode 100644 --- a/thys/Lifting_Definition_Option/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rene.thiemann@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/LightweightJava/config b/thys/LightweightJava/config deleted file mode 100644 --- a/thys/LightweightJava/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rok@strnisa.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/LinearQuantifierElim/config b/thys/LinearQuantifierElim/config deleted file mode 100644 --- a/thys/LinearQuantifierElim/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Liouville_Numbers/config b/thys/Liouville_Numbers/config deleted file mode 100644 --- a/thys/Liouville_Numbers/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="eberlm@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/List-Index/config b/thys/List-Index/config deleted file mode 100644 --- a/thys/List-Index/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/List-Infinite/config b/thys/List-Infinite/config deleted file mode 100644 --- a/thys/List-Infinite/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/List_Interleaving/config b/thys/List_Interleaving/config deleted file mode 100644 --- a/thys/List_Interleaving/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/List_Update/config b/thys/List_Update/config deleted file mode 100644 --- a/thys/List_Update/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Locally-Nameless-Sigma/config b/thys/Locally-Nameless-Sigma/config deleted file mode 100644 --- a/thys/Locally-Nameless-Sigma/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="flokam@cs.tu-berlin.de nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Lower_Semicontinuous/config b/thys/Lower_Semicontinuous/config deleted file mode 100644 --- a/thys/Lower_Semicontinuous/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="hoelzl@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/MFMC_Countable/config b/thys/MFMC_Countable/config deleted file mode 100644 --- a/thys/MFMC_Countable/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="andreas.lochbihler@inf.ethz.ch" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/MSO_Regex_Equivalence/config b/thys/MSO_Regex_Equivalence/config deleted file mode 100644 --- a/thys/MSO_Regex_Equivalence/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="traytel@in.tum.de nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Markov_Models/config b/thys/Markov_Models/config deleted file mode 100644 --- a/thys/Markov_Models/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="hoelzl@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Marriage/config b/thys/Marriage/config deleted file mode 100644 --- a/thys/Marriage/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Matrix/config b/thys/Matrix/config deleted file mode 100644 --- a/thys/Matrix/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rene.thiemann@uibk.ac.at christian.sternagel@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Matrix_Tensor/config b/thys/Matrix_Tensor/config deleted file mode 100644 --- a/thys/Matrix_Tensor/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="prathamesh@imsc.res.in" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Max-Card-Matching/config b/thys/Max-Card-Matching/config deleted file mode 100644 --- a/thys/Max-Card-Matching/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/MiniML/config b/thys/MiniML/config deleted file mode 100644 --- a/thys/MiniML/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kleing@cse.unsw.edu.au" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/MonoBoolTranAlgebra/config b/thys/MonoBoolTranAlgebra/config deleted file mode 100644 --- a/thys/MonoBoolTranAlgebra/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="viorel.preoteasa@abo.fi" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/MuchAdoAboutTwo/config b/thys/MuchAdoAboutTwo/config deleted file mode 100644 --- a/thys/MuchAdoAboutTwo/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="boehmes@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Multirelations/config b/thys/Multirelations/config deleted file mode 100644 --- a/thys/Multirelations/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Myhill-Nerode/config b/thys/Myhill-Nerode/config deleted file mode 100644 --- a/thys/Myhill-Nerode/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="urbanc@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Nat-Interval-Logic/config b/thys/Nat-Interval-Logic/config deleted file mode 100644 --- a/thys/Nat-Interval-Logic/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Native_Word/config b/thys/Native_Word/config deleted file mode 100644 --- a/thys/Native_Word/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="andreas.lochbihler@inf.ethz.ch" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Network_Security_Policy_Verification/config b/thys/Network_Security_Policy_Verification/config deleted file mode 100644 --- a/thys/Network_Security_Policy_Verification/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="diekmann@net.in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/No_FTL_observers/config b/thys/No_FTL_observers/config deleted file mode 100644 --- a/thys/No_FTL_observers/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="m.stannett@sheffield.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Nominal2/config b/thys/Nominal2/config deleted file mode 100644 --- a/thys/Nominal2/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="christian.urban@kcl.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Noninterference_CSP/config b/thys/Noninterference_CSP/config deleted file mode 100644 --- a/thys/Noninterference_CSP/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="pasquale.noce.lavoro@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Noninterference_Generic_Unwinding/config b/thys/Noninterference_Generic_Unwinding/config deleted file mode 100644 --- a/thys/Noninterference_Generic_Unwinding/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Noninterference_Inductive_Unwinding/config b/thys/Noninterference_Inductive_Unwinding/config deleted file mode 100644 --- a/thys/Noninterference_Inductive_Unwinding/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="pasquale.noce.lavoro@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Noninterference_Ipurge_Unwinding/config b/thys/Noninterference_Ipurge_Unwinding/config deleted file mode 100644 --- a/thys/Noninterference_Ipurge_Unwinding/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Noninterference_Sequential_Composition/config b/thys/Noninterference_Sequential_Composition/config deleted file mode 100644 --- a/thys/Noninterference_Sequential_Composition/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="pasquale.noce@arjosystems.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/NormByEval/config b/thys/NormByEval/config deleted file mode 100644 --- a/thys/NormByEval/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Open_Induction/config b/thys/Open_Induction/config deleted file mode 100644 --- a/thys/Open_Induction/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="c.sternagel@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Ordinal/config b/thys/Ordinal/config deleted file mode 100644 --- a/thys/Ordinal/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lcp@cl.cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Ordinals_and_Cardinals/config b/thys/Ordinals_and_Cardinals/config deleted file mode 100644 --- a/thys/Ordinals_and_Cardinals/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="uuomul@yahoo.com nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Ordinary_Differential_Equations/config b/thys/Ordinary_Differential_Equations/config deleted file mode 100644 --- a/thys/Ordinary_Differential_Equations/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="immler@in.tum.de hoelzl@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/PCF/config b/thys/PCF/config deleted file mode 100644 --- a/thys/PCF/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="peteg42@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/POPLmark-deBruijn/config b/thys/POPLmark-deBruijn/config deleted file mode 100644 --- a/thys/POPLmark-deBruijn/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="berghofe@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Parity_Game/config b/thys/Parity_Game/config deleted file mode 100644 --- a/thys/Parity_Game/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="christoph.dittmann@tu-berlin.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Partial_Function_MR/config b/thys/Partial_Function_MR/config deleted file mode 100644 --- a/thys/Partial_Function_MR/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rene.thiemann@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Perfect-Number-Thm/config b/thys/Perfect-Number-Thm/config deleted file mode 100644 --- a/thys/Perfect-Number-Thm/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Pi_Calculus/config b/thys/Pi_Calculus/config deleted file mode 100644 --- a/thys/Pi_Calculus/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Planarity_Certificates/config b/thys/Planarity_Certificates/config deleted file mode 100644 --- a/thys/Planarity_Certificates/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="noschinl@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Polynomial_Factorization/config b/thys/Polynomial_Factorization/config deleted file mode 100644 --- a/thys/Polynomial_Factorization/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rene.thiemann@uibk.ac.at akihisa.yamada@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Polynomial_Interpolation/config b/thys/Polynomial_Interpolation/config deleted file mode 100644 --- a/thys/Polynomial_Interpolation/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rene.thiemann@uibk.ac.at akihisa.yamada@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Polynomials/config b/thys/Polynomials/config deleted file mode 100644 --- a/thys/Polynomials/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rene.thiemann@uibk.ac.at christian.sternagel@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Pop_Refinement/config b/thys/Pop_Refinement/config deleted file mode 100644 --- a/thys/Pop_Refinement/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="coglio@kestrel.edu" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Possibilistic_Noninterference/config b/thys/Possibilistic_Noninterference/config deleted file mode 100644 --- a/thys/Possibilistic_Noninterference/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="hoelzl@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Pratt_Certificate/config b/thys/Pratt_Certificate/config deleted file mode 100644 --- a/thys/Pratt_Certificate/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="noschinl@in.tum.de simon.wimmer@tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Presburger-Automata/config b/thys/Presburger-Automata/config deleted file mode 100644 --- a/thys/Presburger-Automata/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="berghofe@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Prime_Harmonic_Series/config b/thys/Prime_Harmonic_Series/config deleted file mode 100644 --- a/thys/Prime_Harmonic_Series/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="eberlm@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Priority_Queue_Braun/config b/thys/Priority_Queue_Braun/config deleted file mode 100644 --- a/thys/Priority_Queue_Braun/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Probabilistic_Noninterference/config b/thys/Probabilistic_Noninterference/config deleted file mode 100644 --- a/thys/Probabilistic_Noninterference/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="hoelzl@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Probabilistic_System_Zoo/config b/thys/Probabilistic_System_Zoo/config deleted file mode 100644 --- a/thys/Probabilistic_System_Zoo/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="traytel@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Program-Conflict-Analysis/config b/thys/Program-Conflict-Analysis/config deleted file mode 100644 --- a/thys/Program-Conflict-Analysis/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="peter.lammich@uni-muenster.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Promela/config b/thys/Promela/config deleted file mode 100644 --- a/thys/Promela/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rene.neumann@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/PropResPI/config b/thys/PropResPI/config deleted file mode 100644 --- a/thys/PropResPI/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="Nicolas.Peltier@imag.fr" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/PseudoHoops/config b/thys/PseudoHoops/config deleted file mode 100644 --- a/thys/PseudoHoops/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="viorel.preoteasa@abo.fi" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Psi_Calculi/config b/thys/Psi_Calculi/config deleted file mode 100644 --- a/thys/Psi_Calculi/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/QR_Decomposition/config b/thys/QR_Decomposition/config deleted file mode 100644 --- a/thys/QR_Decomposition/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="jose.divasonm@unirioja.es jesus-maria.aransay@unirioja.es" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/RIPEMD-160-SPARK/config b/thys/RIPEMD-160-SPARK/config deleted file mode 100644 --- a/thys/RIPEMD-160-SPARK/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="immler@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/ROBDD/config b/thys/ROBDD/config deleted file mode 100644 --- a/thys/ROBDD/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="bdd@liftm.de haslbecm@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/RSAPSS/config b/thys/RSAPSS/config deleted file mode 100644 --- a/thys/RSAPSS/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Ramsey-Infinite/config b/thys/Ramsey-Infinite/config deleted file mode 100644 --- a/thys/Ramsey-Infinite/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lp15@cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Random_Graph_Subgraph_Threshold/config b/thys/Random_Graph_Subgraph_Threshold/config deleted file mode 100644 --- a/thys/Random_Graph_Subgraph_Threshold/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="hupel@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Randomised_Social_Choice/config b/thys/Randomised_Social_Choice/config deleted file mode 100644 --- a/thys/Randomised_Social_Choice/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="eberlm@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Rank_Nullity_Theorem/config b/thys/Rank_Nullity_Theorem/config deleted file mode 100644 --- a/thys/Rank_Nullity_Theorem/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="jose.divasonm@unirioja.es jesus-maria.aransay@unirioja.es" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Real_Impl/config b/thys/Real_Impl/config deleted file mode 100644 --- a/thys/Real_Impl/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rene.thiemann@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Recursion-Theory-I/config b/thys/Recursion-Theory-I/config deleted file mode 100644 --- a/thys/Recursion-Theory-I/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="MichaelNedzelsky@yandex.ru" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Refine_Monadic/config b/thys/Refine_Monadic/config deleted file mode 100644 --- a/thys/Refine_Monadic/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lammich@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/RefinementReactive/config b/thys/RefinementReactive/config deleted file mode 100644 --- a/thys/RefinementReactive/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="viorel.preoteasa@aalto.fi" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Regex_Equivalence/config b/thys/Regex_Equivalence/config deleted file mode 100644 --- a/thys/Regex_Equivalence/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de traytel@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Regular-Sets/config b/thys/Regular-Sets/config deleted file mode 100644 --- a/thys/Regular-Sets/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de krauss@in.tum.de urbanc@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Regular_Algebras/config b/thys/Regular_Algebras/config deleted file mode 100644 --- a/thys/Regular_Algebras/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="simon.foster@york.ac.uk g.struth@sheffield.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Relation_Algebra/config b/thys/Relation_Algebra/config deleted file mode 100644 --- a/thys/Relation_Algebra/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="g.struth@sheffield.ac.uk tjark.weber@it.uu.se" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Rep_Fin_Groups/config b/thys/Rep_Fin_Groups/config deleted file mode 100644 --- a/thys/Rep_Fin_Groups/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="jsylvest@ualberta.ca" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Residuated_Lattices/config b/thys/Residuated_Lattices/config deleted file mode 100644 --- a/thys/Residuated_Lattices/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="g.struth@sheffield.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Ribbon_Proofs/config b/thys/Ribbon_Proofs/config deleted file mode 100644 --- a/thys/Ribbon_Proofs/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Robbins-Conjecture/config b/thys/Robbins-Conjecture/config deleted file mode 100644 --- a/thys/Robbins-Conjecture/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Roy_Floyd_Warshall/config b/thys/Roy_Floyd_Warshall/config deleted file mode 100644 --- a/thys/Roy_Floyd_Warshall/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/SATSolverVerification/config b/thys/SATSolverVerification/config deleted file mode 100644 --- a/thys/SATSolverVerification/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/SDS_Impossibility/config b/thys/SDS_Impossibility/config deleted file mode 100644 --- a/thys/SDS_Impossibility/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="eberlm@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/SIFPL/config b/thys/SIFPL/config deleted file mode 100644 --- a/thys/SIFPL/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lennart.beringer@ifi.lmu.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/SIFUM_Type_Systems/config b/thys/SIFUM_Type_Systems/config deleted file mode 100644 --- a/thys/SIFUM_Type_Systems/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="grewe@cs.tu-darmstadt.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Secondary_Sylow/config b/thys/Secondary_Sylow/config deleted file mode 100644 --- a/thys/Secondary_Sylow/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="jakob.raumer@student.kit.edu" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Selection_Heap_Sort/config b/thys/Selection_Heap_Sort/config deleted file mode 100644 --- a/thys/Selection_Heap_Sort/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/SenSocialChoice/config b/thys/SenSocialChoice/config deleted file mode 100644 --- a/thys/SenSocialChoice/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Separation_Algebra/config b/thys/Separation_Algebra/config deleted file mode 100644 --- a/thys/Separation_Algebra/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kleing@cse.unsw.edu.au rafal.kolanski@nicta.com.au" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Separation_Logic_Imperative_HOL/config b/thys/Separation_Logic_Imperative_HOL/config deleted file mode 100644 --- a/thys/Separation_Logic_Imperative_HOL/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lammich@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/SequentInvertibility/config b/thys/SequentInvertibility/config deleted file mode 100644 --- a/thys/SequentInvertibility/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="pc@cs.st-andrews.ac.uk nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Shivers-CFA/config b/thys/Shivers-CFA/config deleted file mode 100644 --- a/thys/Shivers-CFA/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="mail@joachim-breitner.de nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/ShortestPath/config b/thys/ShortestPath/config deleted file mode 100644 --- a/thys/ShortestPath/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Show/config b/thys/Show/config deleted file mode 100644 --- a/thys/Show/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="christian.sternagel@uibk.ac.at rene.thiemann@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Simpl/config b/thys/Simpl/config deleted file mode 100644 --- a/thys/Simpl/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="kleing@cse.unsw.edu.au norbert.schirmer@web.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Skew_Heap/config b/thys/Skew_Heap/config deleted file mode 100644 --- a/thys/Skew_Heap/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Slicing/config b/thys/Slicing/config deleted file mode 100644 --- a/thys/Slicing/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="daniel.wasserrab@kit.edu" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Sort_Encodings/config b/thys/Sort_Encodings/config deleted file mode 100644 --- a/thys/Sort_Encodings/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="uuomul@yahoo.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Special_Function_Bounds/config b/thys/Special_Function_Bounds/config deleted file mode 100644 --- a/thys/Special_Function_Bounds/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lp15@cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Splay_Tree/config b/thys/Splay_Tree/config deleted file mode 100644 --- a/thys/Splay_Tree/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Sqrt_Babylonian/config b/thys/Sqrt_Babylonian/config deleted file mode 100644 --- a/thys/Sqrt_Babylonian/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rene.thiemann@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Statecharts/config b/thys/Statecharts/config deleted file mode 100644 --- a/thys/Statecharts/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="helke@cs.tu-berlin.de nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Stern_Brocot/config b/thys/Stern_Brocot/config deleted file mode 100644 --- a/thys/Stern_Brocot/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="andreas.lochbihler@inf.ethz.ch" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Stream-Fusion/config b/thys/Stream-Fusion/config deleted file mode 100644 --- a/thys/Stream-Fusion/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="brianh@cs.pdx.edu" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Stream_Fusion_Code/config b/thys/Stream_Fusion_Code/config deleted file mode 100644 --- a/thys/Stream_Fusion_Code/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="andreas.lochbihler@inf.ethz.ch" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Strong_Security/config b/thys/Strong_Security/config deleted file mode 100644 --- a/thys/Strong_Security/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="grewe@cs.tu-darmstadt.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Sturm_Sequences/config b/thys/Sturm_Sequences/config deleted file mode 100644 --- a/thys/Sturm_Sequences/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="eberlm@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Sturm_Tarski/config b/thys/Sturm_Tarski/config deleted file mode 100755 --- a/thys/Sturm_Tarski/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="wl302@cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Stuttering_Equivalence/config b/thys/Stuttering_Equivalence/config deleted file mode 100644 --- a/thys/Stuttering_Equivalence/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="Stephan.Merz@loria.fr" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/SumSquares/config b/thys/SumSquares/config deleted file mode 100644 --- a/thys/SumSquares/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de roelofoosterhuis@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/TLA/config b/thys/TLA/config deleted file mode 100644 --- a/thys/TLA/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="ggrov@inf.ed.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Tail_Recursive_Functions/config b/thys/Tail_Recursive_Functions/config deleted file mode 100644 --- a/thys/Tail_Recursive_Functions/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="pasquale.noce.lavoro@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Tarskis_Geometry/config b/thys/Tarskis_Geometry/config deleted file mode 100644 --- a/thys/Tarskis_Geometry/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="tjm1983@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Timed_Automata/config b/thys/Timed_Automata/config deleted file mode 100644 --- a/thys/Timed_Automata/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="wimmers@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Topology/config b/thys/Topology/config deleted file mode 100644 --- a/thys/Topology/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lcp@cl.cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/TortoiseHare/config b/thys/TortoiseHare/config deleted file mode 100644 --- a/thys/TortoiseHare/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="peteg42@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Transitive-Closure-II/config b/thys/Transitive-Closure-II/config deleted file mode 100644 --- a/thys/Transitive-Closure-II/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="rene.thiemann@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Transitive-Closure/config b/thys/Transitive-Closure/config deleted file mode 100644 --- a/thys/Transitive-Closure/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="c.sternagel@gmail.com rene.thiemann@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Tree-Automata/config b/thys/Tree-Automata/config deleted file mode 100644 --- a/thys/Tree-Automata/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="peter.lammich@uni-muenster.de nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Triangle/config b/thys/Triangle/config deleted file mode 100644 --- a/thys/Triangle/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="eberlm@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Trie/config b/thys/Trie/config deleted file mode 100644 --- a/thys/Trie/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Tycon/config b/thys/Tycon/config deleted file mode 100644 --- a/thys/Tycon/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="huffman@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/UPF/config b/thys/UPF/config deleted file mode 100644 --- a/thys/UPF/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="adbrucker@0x5f.org wolff@lri.fr lukas.a.bruegger@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="no" diff --git a/thys/UpDown_Scheme/config b/thys/UpDown_Scheme/config deleted file mode 100644 --- a/thys/UpDown_Scheme/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="hoelzl@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Valuation/config b/thys/Valuation/config deleted file mode 100644 --- a/thys/Valuation/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lp15@cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/VectorSpace/config b/thys/VectorSpace/config deleted file mode 100644 --- a/thys/VectorSpace/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="holdenl@princeton.edu" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Verified-Prover/config b/thys/Verified-Prover/config deleted file mode 100644 --- a/thys/Verified-Prover/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="lp15@cam.ac.uk" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Vickrey_Clarke_Groves/config b/thys/Vickrey_Clarke_Groves/config deleted file mode 100644 --- a/thys/Vickrey_Clarke_Groves/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="mnfrd.krbr@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/VolpanoSmith/config b/thys/VolpanoSmith/config deleted file mode 100644 --- a/thys/VolpanoSmith/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="daniel.wasserrab@kit.edu" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/WHATandWHERE_Security/config b/thys/WHATandWHERE_Security/config deleted file mode 100644 --- a/thys/WHATandWHERE_Security/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="grewe@cs.tu-darmstadt.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/Well_Quasi_Orders/config b/thys/Well_Quasi_Orders/config deleted file mode 100644 --- a/thys/Well_Quasi_Orders/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="c.sternagel@gmail.com" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/WorkerWrapper/config b/thys/WorkerWrapper/config deleted file mode 100644 --- a/thys/WorkerWrapper/config +++ /dev/null @@ -1,11 +0,0 @@ -# -*- shell-script -*- - - - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="peteg42@gmail.com nipkow@in.tum.de" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/XML/config b/thys/XML/config deleted file mode 100644 --- a/thys/XML/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="c.sternagel@gmail.com rene.thiemann@uibk.ac.at" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes" diff --git a/thys/pGCL/config b/thys/pGCL/config deleted file mode 100644 --- a/thys/pGCL/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes"