Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. no need to suppress document sources from other sessions; removed obsolete [document = false]: empty 'document_files' means there is no document;
Changeset 8519:796885dcfa9d by wenzelm:
no need to suppress document sources from other sessions;<br>removed obsolete [document = false]: empty &#039;document_files&#039; means there is no document;
The file was modified thys/Abs_Int_ITP2012/ROOT (diff)
The file was modified thys/Abstract-Rewriting/ROOT (diff)
The file was modified thys/Abstract_Completeness/ROOT (diff)
The file was modified thys/Abstract_Soundness/ROOT (diff)
The file was modified thys/Affine_Arithmetic/ROOT (diff)
The file was modified thys/Akra_Bazzi/ROOT (diff)
The file was modified thys/Algebraic_Numbers/ROOT (diff)
The file was modified thys/Algebraic_VCs/ROOT (diff)
The file was modified thys/Amortized_Complexity/ROOT (diff)
The file was modified thys/Applicative_Lifting/ROOT (diff)
The file was modified thys/Berlekamp_Zassenhaus/ROOT (diff)
The file was modified thys/CAVA_Automata/ROOT (diff)
The file was modified thys/CAVA_LTL_Modelchecker/ROOT (diff)
The file was modified thys/Certification_Monads/ROOT (diff)
The file was modified thys/Coinductive/ROOT (diff)
The file was modified thys/Containers/ROOT (diff)
The file was modified thys/Deep_Learning/ROOT (diff)
The file was modified thys/Diophantine_Eqns_Lin_Hom/ROOT (diff)
The file was modified thys/Flow_Networks/ROOT (diff)
The file was modified thys/Formula_Derivatives/ROOT (diff)
The file was modified thys/IP_Addresses/ROOT (diff)
The file was modified thys/Landau_Symbols/ROOT (diff)
The file was modified thys/Launchbury/ROOT (diff)
The file was modified thys/Linear_Recurrences/ROOT (diff)
The file was modified thys/MSO_Regex_Equivalence/ROOT (diff)
The file was modified thys/Network_Security_Policy_Verification/ROOT (diff)
The file was modified thys/Ordinary_Differential_Equations/ROOT (diff)
The file was modified thys/Perron_Frobenius/ROOT (diff)
The file was modified thys/Polynomial_Factorization/ROOT (diff)
The file was modified thys/Refine_Imperative_HOL/ROOT (diff)
The file was modified thys/Refine_Monadic/ROOT (diff)
The file was modified thys/Regex_Equivalence/ROOT (diff)
The file was modified thys/Show/ROOT (diff)
The file was modified thys/Types_Tableaus_and_Goedels_God/ROOT (diff)