Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. merged
  3. build faster without auxiliary heap image;
  4. minimal heap dependencies for slow sessions;
  5. build faster by *not* using heap images for minor imports;
  6. ROOT cleanup: no need to suppress document sources from other sessions;
  7. merged
  8. partially adapted to devel
Changeset 8507:4b310011d8c9 by wenzelm:
merged
Changeset 8506:0c0d09d66424 by wenzelm:
merged
Changeset 8505:cffef4131bbe by wenzelm:
build faster without auxiliary heap image;
The file was modified thys/Koenigsberg_Friendship/ROOT (diff)
Changeset 8504:322a6d8290e7 by wenzelm:
minimal heap dependencies for slow sessions;
The file was modified thys/Flyspeck-Tame/ROOT (diff)
The file was modified thys/JinjaThreads/ROOT (diff)
Changeset 8503:ff98d9cc12ff by wenzelm:
build faster by *not* using heap images for minor imports;
The file was modified thys/ArrowImpossibilityGS/ROOT (diff)
The file was modified thys/Bertrands_Postulate/ROOT (diff)
The file was modified thys/Card_Multisets/ROOT (diff)
The file was modified thys/Card_Partitions/ROOT (diff)
The file was modified thys/Category/ROOT (diff)
The file was modified thys/CofGroups/ROOT (diff)
The file was modified thys/Derangements/ROOT (diff)
The file was modified thys/Discrete_Summation/ROOT (diff)
The file was modified thys/Free-Boolean-Algebra/ROOT (diff)
The file was modified thys/MSO_Regex_Equivalence/ROOT (diff)
The file was modified thys/Pratt_Certificate/ROOT (diff)
The file was modified thys/Regex_Equivalence/ROOT (diff)
Changeset 8502:c816d3336679 by wenzelm:
ROOT cleanup: no need to suppress document sources from other sessions;
The file was modified thys/Bell_Numbers_Spivey/ROOT (diff)
The file was modified thys/Bertrands_Postulate/ROOT (diff)
The file was modified thys/CRDT/ROOT (diff)
The file was modified thys/Card_Equiv_Relations/ROOT (diff)
The file was modified thys/Case_Labeling/ROOT (diff)
The file was modified thys/Catalan_Numbers/ROOT (diff)
The file was modified thys/Category2/ROOT (diff)
The file was modified thys/Cayley_Hamilton/ROOT (diff)
The file was modified thys/Chord_Segments/ROOT (diff)
The file was modified thys/Coinductive_Languages/ROOT (diff)
The file was modified thys/Comparison_Sort_Lower_Bound/ROOT (diff)
The file was modified thys/Completeness/ROOT (diff)
The file was modified thys/Complx/ROOT (diff)
The file was modified thys/Concurrent_Ref_Alg/ROOT (diff)
The file was modified thys/Consensus_Refined/ROOT (diff)
The file was modified thys/Containers/ROOT (diff)
The file was modified thys/Count_Complex_Roots/ROOT (diff)
The file was modified thys/CryptHOL/ROOT (diff)
The file was modified thys/DataRefinementIBP/ROOT (diff)
The file was modified thys/Datatype_Order_Generator/ROOT (diff)
The file was modified thys/Decl_Sem_Fun_PL/ROOT (diff)
The file was modified thys/Decreasing-Diagrams-II/ROOT (diff)
The file was modified thys/Decreasing-Diagrams/ROOT (diff)
The file was modified thys/Density_Compiler/ROOT (diff)
The file was modified thys/Derangements/ROOT (diff)
The file was modified thys/Deriving/ROOT (diff)
The file was modified thys/Dict_Construction/ROOT (diff)
The file was modified thys/Dijkstra_Shortest_Path/ROOT (diff)
The file was modified thys/Dirichlet_Series/ROOT (diff)
The file was modified thys/DynamicArchitectures/ROOT (diff)
The file was modified thys/E_Transcendental/ROOT (diff)
The file was modified thys/Echelon_Form/ROOT (diff)
The file was modified thys/EdmondsKarp_Maxflow/ROOT (diff)
The file was modified thys/Elliptic_Curves_Group_Law/ROOT (diff)
The file was modified thys/Euler_MacLaurin/ROOT (diff)
The file was modified thys/FOL_Harrison/ROOT (diff)
The file was modified thys/Finite_Automata_HF/ROOT (diff)
The file was modified thys/Flyspeck-Tame/ROOT (diff)
The file was modified thys/Formal_SSA/ROOT (diff)
The file was modified thys/Formula_Derivatives/ROOT (diff)
The file was modified thys/Free-Groups/ROOT (diff)
The file was modified thys/Functional-Automata/ROOT (diff)
The file was modified thys/Gauss_Jordan/ROOT (diff)
The file was modified thys/GraphMarkingIBP/ROOT (diff)
The file was modified thys/Graph_Theory/ROOT (diff)
The file was modified thys/Groebner_Bases/ROOT (diff)
The file was modified thys/Heard_Of/ROOT (diff)
The file was modified thys/HereditarilyFinite/ROOT (diff)
The file was modified thys/Hermite/ROOT (diff)
The file was modified thys/HyperCTL/ROOT (diff)
The file was modified thys/Imperative_Insertion_Sort/ROOT (diff)
The file was modified thys/Incompleteness/ROOT (diff)
The file was modified thys/Incredible_Proof_Machine/ROOT (diff)
The file was modified thys/Jinja/ROOT (diff)
The file was modified thys/Jordan_Hoelder/ROOT (diff)
The file was modified thys/KAD/ROOT (diff)
The file was modified thys/Knot_Theory/ROOT (diff)
The file was modified thys/LOFT/ROOT (diff)
The file was modified thys/LTL_to_DRA/ROOT (diff)
The file was modified thys/LTL_to_GBA/ROOT (diff)
The file was modified thys/Lam-ml-Normalization/ROOT (diff)
The file was modified thys/Lambda_Free_KBOs/ROOT (diff)
The file was modified thys/Lambda_Free_RPOs/ROOT (diff)
The file was modified thys/Lehmer/ROOT (diff)
The file was modified thys/Linear_Recurrences/ROOT (diff)
The file was modified thys/Liouville_Numbers/ROOT (diff)
The file was modified thys/List_Update/ROOT (diff)
The file was modified thys/Locally-Nameless-Sigma/ROOT (diff)
The file was modified thys/Lowe_Ontological_Argument/ROOT (diff)
The file was modified thys/MFMC_Countable/ROOT (diff)
The file was modified thys/MSO_Regex_Equivalence/ROOT (diff)
The file was modified thys/Markov_Models/ROOT (diff)
The file was modified thys/Matrix/ROOT (diff)
The file was modified thys/Matrix_Tensor/ROOT (diff)
The file was modified thys/Modal_Logics_for_NTS/ROOT (diff)
The file was modified thys/Multirelations/ROOT (diff)
The file was modified thys/Myhill-Nerode/ROOT (diff)
The file was modified thys/Native_Word/ROOT (diff)
The file was modified thys/Nested_Multisets_Ordinals/ROOT (diff)
The file was modified thys/Nominal2/ROOT (diff)
The file was modified thys/Noninterference_Generic_Unwinding/ROOT (diff)
The file was modified thys/Noninterference_Inductive_Unwinding/ROOT (diff)
The file was modified thys/Noninterference_Ipurge_Unwinding/ROOT (diff)
The file was modified thys/Noninterference_Sequential_Composition/ROOT (diff)
The file was modified thys/Optics/ROOT (diff)
The file was modified thys/PLM/ROOT (diff)
The file was modified thys/Pairing_Heap/ROOT (diff)
The file was modified thys/Parity_Game/ROOT (diff)
The file was modified thys/Partial_Function_MR/ROOT (diff)
The file was modified thys/Password_Authentication_Protocol/ROOT (diff)
The file was modified thys/Planarity_Certificates/ROOT (diff)
The file was modified thys/Polynomial_Interpolation/ROOT (diff)
The file was modified thys/Polynomials/ROOT (diff)
The file was modified thys/Pratt_Certificate/ROOT (diff)
The file was modified thys/Priority_Queue_Braun/ROOT (diff)
The file was modified thys/Probabilistic_While/ROOT (diff)
The file was modified thys/Promela/ROOT (diff)
The file was modified thys/Propositional_Proof_Systems/ROOT (diff)
The file was modified thys/Prpu_Maxflow/ROOT (diff)
The file was modified thys/QR_Decomposition/ROOT (diff)
The file was modified thys/Quick_Sort_Cost/ROOT (diff)
The file was modified thys/ROBDD/ROOT (diff)
The file was modified thys/Random_BSTs/ROOT (diff)
The file was modified thys/Randomised_Social_Choice/ROOT (diff)
The file was modified thys/Rank_Nullity_Theorem/ROOT (diff)
The file was modified thys/Real_Impl/ROOT (diff)
The file was modified thys/Regex_Equivalence/ROOT (diff)
The file was modified thys/Rep_Fin_Groups/ROOT (diff)
The file was modified thys/Resolution_FOL/ROOT (diff)
The file was modified thys/Rewriting_Z/ROOT (diff)
The file was modified thys/Root_Balanced_Tree/ROOT (diff)
The file was modified thys/Routing/ROOT (diff)
The file was modified thys/SPARCv8/ROOT (diff)
The file was modified thys/Separata/ROOT (diff)
The file was modified thys/SequentInvertibility/ROOT (diff)
The file was modified thys/Splay_Tree/ROOT (diff)
The file was modified thys/Stern_Brocot/ROOT (diff)
The file was modified thys/Stewart_Apollonius/ROOT (diff)
The file was modified thys/Stream_Fusion_Code/ROOT (diff)
The file was modified thys/Sturm_Tarski/ROOT (diff)
The file was modified thys/SuperCalc/ROOT (diff)
The file was modified thys/Tail_Recursive_Functions/ROOT (diff)
The file was modified thys/Tarskis_Geometry/ROOT (diff)
The file was modified thys/TortoiseHare/ROOT (diff)
The file was modified thys/Transitive-Closure-II/ROOT (diff)
The file was modified thys/Transitive-Closure/ROOT (diff)
The file was modified thys/Twelvefold_Way/ROOT (diff)
The file was modified thys/Types_Tableaus_and_Goedels_God/ROOT (diff)
The file was modified thys/UpDown_Scheme/ROOT (diff)
The file was modified thys/Well_Quasi_Orders/ROOT (diff)
The file was modified thys/Winding_Number_Eval/ROOT (diff)
The file was modified thys/Word_Lib/ROOT (diff)
The file was modified thys/XML/ROOT (diff)
The file was modified thys/Zeta_Function/ROOT (diff)
Changeset 8501:56b99f1d563a by nipkow:
merged
Changeset 8500:84f6e5837036 by nipkow:
partially adapted to devel
The file was modified thys/Winding_Number_Eval/Cauchy_Index_Theorem.thy (diff)