Changes

Summary

merge from afp-2017
add 2016-1 releases to old release list
regenerate statistics

Changeset 8428:e5366ef41161 by kleing: merge from afp-2017
Changeset 8427:59cea3f9f704 by gerwin klein _kleing@cse.unsw.edu.au_: add 2016-1 releases to old release list
The file was modified	`metadata/release-dates` (diff)
The file was modified	`metadata/releases` (diff)
The file was modified	`web/entries/AODV.html` (diff)
The file was modified	`web/entries/AVL-Trees.html` (diff)
The file was modified	`web/entries/AWN.html` (diff)
The file was modified	`web/entries/Abortable_Linearizable_Modules.html` (diff)
The file was modified	`web/entries/Abs_Int_ITP2012.html` (diff)
The file was modified	`web/entries/Abstract-Hoare-Logics.html` (diff)
The file was modified	`web/entries/Abstract-Rewriting.html` (diff)
The file was modified	`web/entries/Abstract_Completeness.html` (diff)
The file was modified	`web/entries/Abstract_Soundness.html` (diff)
The file was modified	`web/entries/Affine_Arithmetic.html` (diff)
The file was modified	`web/entries/Akra_Bazzi.html` (diff)
The file was modified	`web/entries/Algebraic_Numbers.html` (diff)
The file was modified	`web/entries/Algebraic_VCs.html` (diff)
The file was modified	`web/entries/Allen_Calculus.html` (diff)
The file was modified	`web/entries/Amortized_Complexity.html` (diff)
The file was modified	`web/entries/AnselmGod.html` (diff)
The file was modified	`web/entries/Applicative_Lifting.html` (diff)
The file was modified	`web/entries/ArrowImpossibilityGS.html` (diff)
The file was modified	`web/entries/AutoFocus-Stream.html` (diff)
The file was modified	`web/entries/Automatic_Refinement.html` (diff)
The file was modified	`web/entries/BDD.html` (diff)
The file was modified	`web/entries/Bell_Numbers_Spivey.html` (diff)
The file was modified	`web/entries/Berlekamp_Zassenhaus.html` (diff)
The file was modified	`web/entries/Bernoulli.html` (diff)
The file was modified	`web/entries/Bertrands_Postulate.html` (diff)
The file was modified	`web/entries/BinarySearchTree.html` (diff)
The file was modified	`web/entries/Binomial-Heaps.html` (diff)
The file was modified	`web/entries/Binomial-Queues.html` (diff)
The file was modified	`web/entries/Bondy.html` (diff)
The file was modified	`web/entries/Boolean_Expression_Checkers.html` (diff)
The file was modified	`web/entries/Bounded_Deducibility_Security.html` (diff)
The file was modified	`web/entries/Buffons_Needle.html` (diff)
The file was modified	`web/entries/Buildings.html` (diff)
The file was modified	`web/entries/BytecodeLogicJmlTypes.html` (diff)
The file was modified	`web/entries/CAVA_Automata.html` (diff)
The file was modified	`web/entries/CAVA_LTL_Modelchecker.html` (diff)
The file was modified	`web/entries/CCS.html` (diff)
The file was modified	`web/entries/CISC-Kernel.html` (diff)
The file was modified	`web/entries/CRDT.html` (diff)
The file was modified	`web/entries/CYK.html` (diff)
The file was modified	`web/entries/Call_Arity.html` (diff)
The file was modified	`web/entries/Card_Equiv_Relations.html` (diff)
The file was modified	`web/entries/Card_Multisets.html` (diff)
The file was modified	`web/entries/Card_Number_Partitions.html` (diff)
The file was modified	`web/entries/Card_Partitions.html` (diff)
The file was modified	`web/entries/Cartan_FP.html` (diff)
The file was modified	`web/entries/Case_Labeling.html` (diff)
The file was modified	`web/entries/Catalan_Numbers.html` (diff)
The file was modified	`web/entries/Category.html` (diff)
The file was modified	`web/entries/Category2.html` (diff)
The file was modified	`web/entries/Category3.html` (diff)
The file was modified	`web/entries/Cauchy.html` (diff)
The file was modified	`web/entries/Cayley_Hamilton.html` (diff)
The file was modified	`web/entries/Certification_Monads.html` (diff)
The file was modified	`web/entries/Chord_Segments.html` (diff)
The file was modified	`web/entries/Circus.html` (diff)
The file was modified	`web/entries/ClockSynchInst.html` (diff)
The file was modified	`web/entries/CofGroups.html` (diff)
The file was modified	`web/entries/Coinductive.html` (diff)
The file was modified	`web/entries/Coinductive_Languages.html` (diff)
The file was modified	`web/entries/Collections.html` (diff)
The file was modified	`web/entries/Comparison_Sort_Lower_Bound.html` (diff)
The file was modified	`web/entries/Compiling-Exceptions-Correctly.html` (diff)
The file was modified	`web/entries/Completeness.html` (diff)
The file was modified	`web/entries/Complx.html` (diff)
The file was modified	`web/entries/ComponentDependencies.html` (diff)
The file was modified	`web/entries/ConcurrentGC.html` (diff)
The file was modified	`web/entries/ConcurrentIMP.html` (diff)
The file was modified	`web/entries/Concurrent_Ref_Alg.html` (diff)
The file was modified	`web/entries/Consensus_Refined.html` (diff)
The file was modified	`web/entries/Constructor_Funs.html` (diff)
The file was modified	`web/entries/Containers.html` (diff)
The file was modified	`web/entries/CoreC++.html` (diff)
The file was modified	`web/entries/CryptHOL.html` (diff)
The file was modified	`web/entries/CryptoBasedCompositionalProperties.html` (diff)
The file was modified	`web/entries/DFS_Framework.html` (diff)
The file was modified	`web/entries/DPT-SAT-Solver.html` (diff)
The file was modified	`web/entries/DataRefinementIBP.html` (diff)
The file was modified	`web/entries/Datatype_Order_Generator.html` (diff)
The file was modified	`web/entries/Decl_Sem_Fun_PL.html` (diff)
The file was modified	`web/entries/Decreasing-Diagrams-II.html` (diff)
The file was modified	`web/entries/Decreasing-Diagrams.html` (diff)
The file was modified	`web/entries/Deep_Learning.html` (diff)
The file was modified	`web/entries/Density_Compiler.html` (diff)
The file was modified	`web/entries/Dependent_SIFUM_Refinement.html` (diff)
The file was modified	`web/entries/Dependent_SIFUM_Type_Systems.html` (diff)
The file was modified	`web/entries/Depth-First-Search.html` (diff)
The file was modified	`web/entries/Derangements.html` (diff)
The file was modified	`web/entries/Deriving.html` (diff)
The file was modified	`web/entries/Descartes_Sign_Rule.html` (diff)
The file was modified	`web/entries/Differential_Dynamic_Logic.html` (diff)
The file was modified	`web/entries/Dijkstra_Shortest_Path.html` (diff)
The file was modified	`web/entries/Discrete_Summation.html` (diff)
The file was modified	`web/entries/DiskPaxos.html` (diff)
The file was modified	`web/entries/DynamicArchitectures.html` (diff)
The file was modified	`web/entries/Dynamic_Tables.html` (diff)
The file was modified	`web/entries/E_Transcendental.html` (diff)
The file was modified	`web/entries/Echelon_Form.html` (diff)
The file was modified	`web/entries/EdmondsKarp_Maxflow.html` (diff)
The file was modified	`web/entries/Efficient-Mergesort.html` (diff)
The file was modified	`web/entries/Elliptic_Curves_Group_Law.html` (diff)
The file was modified	`web/entries/Encodability_Process_Calculi.html` (diff)
The file was modified	`web/entries/Ergodic_Theory.html` (diff)
The file was modified	`web/entries/Euler_MacLaurin.html` (diff)
The file was modified	`web/entries/Euler_Partition.html` (diff)
The file was modified	`web/entries/FFT.html` (diff)
The file was modified	`web/entries/FLP.html` (diff)
The file was modified	`web/entries/FOL-Fitting.html` (diff)
The file was modified	`web/entries/FOL_Harrison.html` (diff)
The file was modified	`web/entries/FeatherweightJava.html` (diff)
The file was modified	`web/entries/Featherweight_OCL.html` (diff)
The file was modified	`web/entries/Fermat3_4.html` (diff)
The file was modified	`web/entries/FileRefinement.html` (diff)
The file was modified	`web/entries/FinFun.html` (diff)
The file was modified	`web/entries/Finger-Trees.html` (diff)
The file was modified	`web/entries/Finite_Automata_HF.html` (diff)
The file was modified	`web/entries/First_Welfare_Theorem.html` (diff)
The file was modified	`web/entries/Fisher_Yates.html` (diff)
The file was modified	`web/entries/Flow_Networks.html` (diff)
The file was modified	`web/entries/Floyd_Warshall.html` (diff)
The file was modified	`web/entries/Flyspeck-Tame.html` (diff)
The file was modified	`web/entries/FocusStreamsCaseStudies.html` (diff)
The file was modified	`web/entries/Formal_SSA.html` (diff)
The file was modified	`web/entries/Formula_Derivatives.html` (diff)
The file was modified	`web/entries/Free-Boolean-Algebra.html` (diff)
The file was modified	`web/entries/Free-Groups.html` (diff)
The file was modified	`web/entries/FunWithFunctions.html` (diff)
The file was modified	`web/entries/FunWithTilings.html` (diff)
The file was modified	`web/entries/Functional-Automata.html` (diff)
The file was modified	`web/entries/GPU_Kernel_PL.html` (diff)
The file was modified	`web/entries/Gabow_SCC.html` (diff)
The file was modified	`web/entries/Game_Based_Crypto.html` (diff)
The file was modified	`web/entries/Gauss-Jordan-Elim-Fun.html` (diff)
The file was modified	`web/entries/Gauss_Jordan.html` (diff)
The file was modified	`web/entries/GenClock.html` (diff)
The file was modified	`web/entries/General-Triangle.html` (diff)
The file was modified	`web/entries/Girth_Chromatic.html` (diff)
The file was modified	`web/entries/GoedelGod.html` (diff)
The file was modified	`web/entries/GraphMarkingIBP.html` (diff)
The file was modified	`web/entries/Graph_Theory.html` (diff)
The file was modified	`web/entries/Groebner_Bases.html` (diff)
The file was modified	`web/entries/Group-Ring-Module.html` (diff)
The file was modified	`web/entries/HOLCF-Prelude.html` (diff)
The file was modified	`web/entries/HRB-Slicing.html` (diff)
The file was modified	`web/entries/Heard_Of.html` (diff)
The file was modified	`web/entries/HereditarilyFinite.html` (diff)
The file was modified	`web/entries/Hermite.html` (diff)
The file was modified	`web/entries/HotelKeyCards.html` (diff)
The file was modified	`web/entries/Huffman.html` (diff)
The file was modified	`web/entries/HyperCTL.html` (diff)
The file was modified	`web/entries/IEEE_Floating_Point.html` (diff)
The file was modified	`web/entries/IP_Addresses.html` (diff)
The file was modified	`web/entries/Imperative_Insertion_Sort.html` (diff)
The file was modified	`web/entries/Impossible_Geometry.html` (diff)
The file was modified	`web/entries/Incompleteness.html` (diff)
The file was modified	`web/entries/Incredible_Proof_Machine.html` (diff)
The file was modified	`web/entries/Inductive_Confidentiality.html` (diff)
The file was modified	`web/entries/InfPathElimination.html` (diff)
The file was modified	`web/entries/InformationFlowSlicing.html` (diff)
The file was modified	`web/entries/InformationFlowSlicing_Inter.html` (diff)
The file was modified	`web/entries/Integration.html` (diff)
The file was modified	`web/entries/Iptables_Semantics.html` (diff)
The file was modified	`web/entries/Isabelle_Meta_Model.html` (diff)
The file was modified	`web/entries/Jinja.html` (diff)
The file was modified	`web/entries/JinjaThreads.html` (diff)
The file was modified	`web/entries/JiveDataStoreModel.html` (diff)
The file was modified	`web/entries/Jordan_Hoelder.html` (diff)
The file was modified	`web/entries/Jordan_Normal_Form.html` (diff)
The file was modified	`web/entries/KAD.html` (diff)
The file was modified	`web/entries/KAT_and_DRA.html` (diff)
The file was modified	`web/entries/KBPs.html` (diff)
The file was modified	`web/entries/Key_Agreement_Strong_Adversaries.html` (diff)
The file was modified	`web/entries/Kleene_Algebra.html` (diff)
The file was modified	`web/entries/Knot_Theory.html` (diff)
The file was modified	`web/entries/Koenigsberg_Friendship.html` (diff)
The file was modified	`web/entries/LOFT.html` (diff)
The file was modified	`web/entries/LTL.html` (diff)
The file was modified	`web/entries/LTL_to_DRA.html` (diff)
The file was modified	`web/entries/LTL_to_GBA.html` (diff)
The file was modified	`web/entries/Lam-ml-Normalization.html` (diff)
The file was modified	`web/entries/LambdaMu.html` (diff)
The file was modified	`web/entries/Lambda_Free_KBOs.html` (diff)
The file was modified	`web/entries/Lambda_Free_RPOs.html` (diff)
The file was modified	`web/entries/Landau_Symbols.html` (diff)
The file was modified	`web/entries/Latin_Square.html` (diff)
The file was modified	`web/entries/LatticeProperties.html` (diff)
The file was modified	`web/entries/Launchbury.html` (diff)
The file was modified	`web/entries/Lazy-Lists-II.html` (diff)
The file was modified	`web/entries/Lazy_Case.html` (diff)
The file was modified	`web/entries/Lehmer.html` (diff)
The file was modified	`web/entries/Lifting_Definition_Option.html` (diff)
The file was modified	`web/entries/LightweightJava.html` (diff)
The file was modified	`web/entries/LinearQuantifierElim.html` (diff)
The file was modified	`web/entries/Liouville_Numbers.html` (diff)
The file was modified	`web/entries/List-Index.html` (diff)
The file was modified	`web/entries/List-Infinite.html` (diff)
The file was modified	`web/entries/List_Interleaving.html` (diff)
The file was modified	`web/entries/List_Update.html` (diff)
The file was modified	`web/entries/LocalLexing.html` (diff)
The file was modified	`web/entries/Locally-Nameless-Sigma.html` (diff)
The file was modified	`web/entries/Lower_Semicontinuous.html` (diff)
The file was modified	`web/entries/Lp.html` (diff)
The file was modified	`web/entries/MFMC_Countable.html` (diff)
The file was modified	`web/entries/MSO_Regex_Equivalence.html` (diff)
The file was modified	`web/entries/Markov_Models.html` (diff)
The file was modified	`web/entries/Marriage.html` (diff)
The file was modified	`web/entries/Matrix.html` (diff)
The file was modified	`web/entries/Matrix_Tensor.html` (diff)
The file was modified	`web/entries/Max-Card-Matching.html` (diff)
The file was modified	`web/entries/Menger.html` (diff)
The file was modified	`web/entries/MiniML.html` (diff)
The file was modified	`web/entries/Minimal_SSA.html` (diff)
The file was modified	`web/entries/Minkowskis_Theorem.html` (diff)
The file was modified	`web/entries/Modal_Logics_for_NTS.html` (diff)
The file was modified	`web/entries/Monad_Normalisation.html` (diff)
The file was modified	`web/entries/MonoBoolTranAlgebra.html` (diff)
The file was modified	`web/entries/MonoidalCategory.html` (diff)
The file was modified	`web/entries/Monomorphic_Monad.html` (diff)
The file was modified	`web/entries/MuchAdoAboutTwo.html` (diff)
The file was modified	`web/entries/Multirelations.html` (diff)
The file was modified	`web/entries/Myhill-Nerode.html` (diff)
The file was modified	`web/entries/Name_Carrying_Type_Inference.html` (diff)
The file was modified	`web/entries/Nat-Interval-Logic.html` (diff)
The file was modified	`web/entries/Native_Word.html` (diff)
The file was modified	`web/entries/Nested_Multisets_Ordinals.html` (diff)
The file was modified	`web/entries/Network_Security_Policy_Verification.html` (diff)
The file was modified	`web/entries/No_FTL_observers.html` (diff)
The file was modified	`web/entries/Nominal2.html` (diff)
The file was modified	`web/entries/Noninterference_CSP.html` (diff)
The file was modified	`web/entries/Noninterference_Concurrent_Composition.html` (diff)
The file was modified	`web/entries/Noninterference_Generic_Unwinding.html` (diff)
The file was modified	`web/entries/Noninterference_Inductive_Unwinding.html` (diff)
The file was modified	`web/entries/Noninterference_Ipurge_Unwinding.html` (diff)
The file was modified	`web/entries/Noninterference_Sequential_Composition.html` (diff)
The file was modified	`web/entries/NormByEval.html` (diff)
The file was modified	`web/entries/Open_Induction.html` (diff)
The file was modified	`web/entries/Optics.html` (diff)
The file was modified	`web/entries/Orbit_Stabiliser.html` (diff)
The file was modified	`web/entries/Ordinal.html` (diff)
The file was modified	`web/entries/Ordinals_and_Cardinals.html` (diff)
The file was modified	`web/entries/Ordinary_Differential_Equations.html` (diff)
The file was modified	`web/entries/PCF.html` (diff)
The file was modified	`web/entries/PLM.html` (diff)
The file was modified	`web/entries/POPLmark-deBruijn.html` (diff)
The file was modified	`web/entries/PSemigroupsConvolution.html` (diff)
The file was modified	`web/entries/Pairing_Heap.html` (diff)
The file was modified	`web/entries/Paraconsistency.html` (diff)
The file was modified	`web/entries/Parity_Game.html` (diff)
The file was modified	`web/entries/Partial_Function_MR.html` (diff)
The file was modified	`web/entries/Password_Authentication_Protocol.html` (diff)
The file was modified	`web/entries/Perfect-Number-Thm.html` (diff)
The file was modified	`web/entries/Perron_Frobenius.html` (diff)
The file was modified	`web/entries/Pi_Calculus.html` (diff)
The file was modified	`web/entries/Planarity_Certificates.html` (diff)
The file was modified	`web/entries/Polynomial_Factorization.html` (diff)
The file was modified	`web/entries/Polynomial_Interpolation.html` (diff)
The file was modified	`web/entries/Polynomials.html` (diff)
The file was modified	`web/entries/Pop_Refinement.html` (diff)
The file was modified	`web/entries/Posix-Lexing.html` (diff)
The file was modified	`web/entries/Possibilistic_Noninterference.html` (diff)
The file was modified	`web/entries/Pratt_Certificate.html` (diff)
The file was modified	`web/entries/Presburger-Automata.html` (diff)
The file was modified	`web/entries/Prime_Harmonic_Series.html` (diff)
The file was modified	`web/entries/Priority_Queue_Braun.html` (diff)
The file was modified	`web/entries/Probabilistic_Noninterference.html` (diff)
The file was modified	`web/entries/Probabilistic_System_Zoo.html` (diff)
The file was modified	`web/entries/Probabilistic_While.html` (diff)
The file was modified	`web/entries/Program-Conflict-Analysis.html` (diff)
The file was modified	`web/entries/Promela.html` (diff)
The file was modified	`web/entries/Proof_Strategy_Language.html` (diff)
The file was modified	`web/entries/PropResPI.html` (diff)
The file was modified	`web/entries/Propositional_Proof_Systems.html` (diff)
The file was modified	`web/entries/Prpu_Maxflow.html` (diff)
The file was modified	`web/entries/PseudoHoops.html` (diff)
The file was modified	`web/entries/Psi_Calculi.html` (diff)
The file was modified	`web/entries/Ptolemys_Theorem.html` (diff)
The file was modified	`web/entries/QR_Decomposition.html` (diff)
The file was modified	`web/entries/Quick_Sort_Cost.html` (diff)
The file was modified	`web/entries/RIPEMD-160-SPARK.html` (diff)
The file was modified	`web/entries/ROBDD.html` (diff)
The file was modified	`web/entries/RSAPSS.html` (diff)
The file was modified	`web/entries/Ramsey-Infinite.html` (diff)
The file was modified	`web/entries/Random_BSTs.html` (diff)
The file was modified	`web/entries/Random_Graph_Subgraph_Threshold.html` (diff)
The file was modified	`web/entries/Randomised_Social_Choice.html` (diff)
The file was modified	`web/entries/Rank_Nullity_Theorem.html` (diff)
The file was modified	`web/entries/Real_Impl.html` (diff)
The file was modified	`web/entries/Recursion-Theory-I.html` (diff)
The file was modified	`web/entries/Refine_Imperative_HOL.html` (diff)
The file was modified	`web/entries/Refine_Monadic.html` (diff)
The file was modified	`web/entries/RefinementReactive.html` (diff)
The file was modified	`web/entries/Regex_Equivalence.html` (diff)
The file was modified	`web/entries/Regular-Sets.html` (diff)
The file was modified	`web/entries/Regular_Algebras.html` (diff)
The file was modified	`web/entries/Relation_Algebra.html` (diff)
The file was modified	`web/entries/Rep_Fin_Groups.html` (diff)
The file was modified	`web/entries/Residuated_Lattices.html` (diff)
The file was modified	`web/entries/Resolution_FOL.html` (diff)
The file was modified	`web/entries/Rewriting_Z.html` (diff)
The file was modified	`web/entries/Ribbon_Proofs.html` (diff)
The file was modified	`web/entries/Robbins-Conjecture.html` (diff)
The file was modified	`web/entries/Root_Balanced_Tree.html` (diff)
The file was modified	`web/entries/Routing.html` (diff)
The file was modified	`web/entries/Roy_Floyd_Warshall.html` (diff)
The file was modified	`web/entries/SATSolverVerification.html` (diff)
The file was modified	`web/entries/SDS_Impossibility.html` (diff)
The file was modified	`web/entries/SIFPL.html` (diff)
The file was modified	`web/entries/SIFUM_Type_Systems.html` (diff)
The file was modified	`web/entries/SPARCv8.html` (diff)
The file was modified	`web/entries/Secondary_Sylow.html` (diff)
The file was modified	`web/entries/Security_Protocol_Refinement.html` (diff)
The file was modified	`web/entries/Selection_Heap_Sort.html` (diff)
The file was modified	`web/entries/SenSocialChoice.html` (diff)
The file was modified	`web/entries/Separata.html` (diff)
The file was modified	`web/entries/Separation_Algebra.html` (diff)
The file was modified	`web/entries/Separation_Logic_Imperative_HOL.html` (diff)
The file was modified	`web/entries/SequentInvertibility.html` (diff)
The file was modified	`web/entries/Shivers-CFA.html` (diff)
The file was modified	`web/entries/ShortestPath.html` (diff)
The file was modified	`web/entries/Show.html` (diff)
The file was modified	`web/entries/Simpl.html` (diff)
The file was modified	`web/entries/Simple_Firewall.html` (diff)
The file was modified	`web/entries/Skew_Heap.html` (diff)
The file was modified	`web/entries/Slicing.html` (diff)
The file was modified	`web/entries/Sort_Encodings.html` (diff)
The file was modified	`web/entries/Source_Coding_Theorem.html` (diff)
The file was modified	`web/entries/Special_Function_Bounds.html` (diff)
The file was modified	`web/entries/Splay_Tree.html` (diff)
The file was modified	`web/entries/Sqrt_Babylonian.html` (diff)
The file was modified	`web/entries/Stable_Matching.html` (diff)
The file was modified	`web/entries/Statecharts.html` (diff)
The file was modified	`web/entries/Stern_Brocot.html` (diff)
The file was modified	`web/entries/Stewart_Apollonius.html` (diff)
The file was modified	`web/entries/Stirling_Formula.html` (diff)
The file was modified	`web/entries/Stone_Algebras.html` (diff)
The file was modified	`web/entries/Stone_Relation_Algebras.html` (diff)
The file was modified	`web/entries/Stream-Fusion.html` (diff)
The file was modified	`web/entries/Stream_Fusion_Code.html` (diff)
The file was modified	`web/entries/Strong_Security.html` (diff)
The file was modified	`web/entries/Sturm_Sequences.html` (diff)
The file was modified	`web/entries/Sturm_Tarski.html` (diff)
The file was modified	`web/entries/Stuttering_Equivalence.html` (diff)
The file was modified	`web/entries/Subresultants.html` (diff)
The file was modified	`web/entries/SumSquares.html` (diff)
The file was modified	`web/entries/SuperCalc.html` (diff)
The file was modified	`web/entries/Surprise_Paradox.html` (diff)
The file was modified	`web/entries/TLA.html` (diff)
The file was modified	`web/entries/Tail_Recursive_Functions.html` (diff)
The file was modified	`web/entries/Tarskis_Geometry.html` (diff)
The file was modified	`web/entries/Timed_Automata.html` (diff)
The file was modified	`web/entries/Topology.html` (diff)
The file was modified	`web/entries/TortoiseHare.html` (diff)
The file was modified	`web/entries/Transitive-Closure-II.html` (diff)
The file was modified	`web/entries/Transitive-Closure.html` (diff)
The file was modified	`web/entries/Tree-Automata.html` (diff)
The file was modified	`web/entries/Tree_Decomposition.html` (diff)
The file was modified	`web/entries/Triangle.html` (diff)
The file was modified	`web/entries/Trie.html` (diff)
The file was modified	`web/entries/Twelvefold_Way.html` (diff)
The file was modified	`web/entries/Tycon.html` (diff)
The file was modified	`web/entries/Types_Tableaus_and_Goedels_God.html` (diff)
The file was modified	`web/entries/UPF.html` (diff)
The file was modified	`web/entries/UPF_Firewall.html` (diff)
The file was modified	`web/entries/UpDown_Scheme.html` (diff)
The file was modified	`web/entries/Valuation.html` (diff)
The file was modified	`web/entries/VectorSpace.html` (diff)
The file was modified	`web/entries/Verified-Prover.html` (diff)
The file was modified	`web/entries/Vickrey_Clarke_Groves.html` (diff)
The file was modified	`web/entries/VolpanoSmith.html` (diff)
The file was modified	`web/entries/WHATandWHERE_Security.html` (diff)
The file was modified	`web/entries/Well_Quasi_Orders.html` (diff)
The file was modified	`web/entries/Word_Lib.html` (diff)
The file was modified	`web/entries/WorkerWrapper.html` (diff)
The file was modified	`web/entries/XML.html` (diff)
The file was modified	`web/entries/pGCL.html` (diff)
Changeset 8426:78332cc9f7e4 by kleing: regenerate statistics
The file was modified	`web/entries/Graph_Theory.html` (diff)
The file was modified	`web/entries/Perron_Frobenius.html` (diff)
The file was modified	`web/entries/Rank_Nullity_Theorem.html` (diff)
The file was modified	`web/statistics.html` (diff)