Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. merge from afp-2019
  2. new entry Linear_Inequalities
  3. Nullstellensatz website
  4. new entry Nullstellensatz
  5. new entry: Groebner_Macaulay by Alexander Maletzky
  6. New entry IMP2_Binary_Heap
  7. update usage instructions to 2019
  8. add 2019 releases for existing entries
  9. update release dates for 2019
Changeset 10479:3261ff4818d4 by kleing:
merge from afp-2019
Changeset 10478:03e102ee12be by kleing:
new entry Linear_Inequalities
The file was addedthys/Linear_Inequalities/Basis_Extension.thy
The file was addedthys/Linear_Inequalities/Cone.thy
The file was addedthys/Linear_Inequalities/Convex_Hull.thy
The file was addedthys/Linear_Inequalities/Decomposition_Theorem.thy
The file was addedthys/Linear_Inequalities/Dim_Span.thy
The file was addedthys/Linear_Inequalities/Farkas_Lemma.thy
The file was addedthys/Linear_Inequalities/Farkas_Minkowsky_Weyl.thy
The file was addedthys/Linear_Inequalities/Fundamental_Theorem_Linear_Inequalities.thy
The file was addedthys/Linear_Inequalities/Integer_Hull.thy
The file was addedthys/Linear_Inequalities/Integral_Bounded_Vectors.thy
The file was addedthys/Linear_Inequalities/Missing_Matrix.thy
The file was addedthys/Linear_Inequalities/Missing_VS_Connect.thy
The file was addedthys/Linear_Inequalities/Mixed_Integer_Solutions.thy
The file was addedthys/Linear_Inequalities/Normal_Vector.thy
The file was addedthys/Linear_Inequalities/ROOT
The file was addedthys/Linear_Inequalities/Sum_Vec_Set.thy
The file was addedthys/Linear_Inequalities/document/root.bib
The file was addedthys/Linear_Inequalities/document/root.tex
The file was addedweb/entries/Linear_Inequalities.html
The file was modified metadata/metadata
The file was modified thys/ROOTS
The file was modified web/entries/LLL_Basis_Reduction.html
The file was modified web/index.html
The file was modified web/rss.xml
The file was modified web/statistics.html
The file was modified web/topics.html
Changeset 10477:e0f7d27cfabd by paulson _lp15@cam.ac.uk_:
Nullstellensatz website
The file was addedweb/entries/Nullstellensatz.html
The file was modified metadata/metadata
The file was modified web/entries/Groebner_Bases.html
The file was modified web/index.html
The file was modified web/rss.xml
The file was modified web/statistics.html
The file was modified web/topics.html
Changeset 10476:e8ac4299d077 by paulson _lp15@cam.ac.uk_:
new entry Nullstellensatz
The file was addedthys/Nullstellensatz/Algebraically_Closed_Fields.thy
The file was addedthys/Nullstellensatz/Lex_Order_PP.thy
The file was addedthys/Nullstellensatz/Nullstellensatz.thy
The file was addedthys/Nullstellensatz/Nullstellensatz_Field.thy
The file was addedthys/Nullstellensatz/ROOT
The file was addedthys/Nullstellensatz/Univariate_PM.thy
The file was addedthys/Nullstellensatz/document/root.bib
The file was addedthys/Nullstellensatz/document/root.tex
The file was modified thys/ROOTS
Changeset 10475:a2b8cf11d218 by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry: Groebner_Macaulay by Alexander Maletzky
The file was addedthys/Groebner_Macaulay/Binomial_Int.thy
The file was addedthys/Groebner_Macaulay/Cone_Decomposition.thy
The file was addedthys/Groebner_Macaulay/Degree_Bound_Utils.thy
The file was addedthys/Groebner_Macaulay/Degree_Section.thy
The file was addedthys/Groebner_Macaulay/Dube_Bound.thy
The file was addedthys/Groebner_Macaulay/Dube_Prelims.thy
The file was addedthys/Groebner_Macaulay/Groebner_Macaulay.thy
The file was addedthys/Groebner_Macaulay/Groebner_Macaulay_Examples.thy
The file was addedthys/Groebner_Macaulay/Hilbert_Function.thy
The file was addedthys/Groebner_Macaulay/Monomial_Module.thy
The file was addedthys/Groebner_Macaulay/Poly_Fun.thy
The file was addedthys/Groebner_Macaulay/ROOT
The file was addedthys/Groebner_Macaulay/document/root.bib
The file was addedthys/Groebner_Macaulay/document/root.tex
The file was addedweb/entries/Groebner_Macaulay.html
The file was modified metadata/metadata
The file was modified thys/ROOTS
The file was modified web/entries/Groebner_Bases.html
The file was modified web/index.html
The file was modified web/rss.xml
The file was modified web/statistics.html
The file was modified web/topics.html
Changeset 10474:dd829d78f05b by nipkow:
New entry IMP2_Binary_Heap
The file was addedthys/IMP2_Binary_Heap/IMP2_Binary_Heap.thy
The file was addedthys/IMP2_Binary_Heap/ROOT
The file was addedthys/IMP2_Binary_Heap/document/root.bib
The file was addedthys/IMP2_Binary_Heap/document/root.tex
The file was addedweb/entries/IMP2_Binary_Heap.html
The file was modified metadata/metadata
The file was modified thys/ROOTS
The file was modified web/entries/IMP2.html
The file was modified web/index.html
The file was modified web/rss.xml
The file was modified web/statistics.html
The file was modified web/topics.html
Changeset 10473:104811dca898 by kleing:
update usage instructions to 2019
The file was modified metadata/templates/using.tpl
The file was modified web/using.html
Changeset 10472:0c64267d1ec6 by gerwin klein _gerwin.klein@data61.csiro.au_:
add 2019 releases for existing entries
The file was modified web/entries/AODV.html
The file was modified web/entries/AVL-Trees.html
The file was modified web/entries/AWN.html
The file was modified web/entries/Abortable_Linearizable_Modules.html
The file was modified web/entries/Abs_Int_ITP2012.html
The file was modified web/entries/Abstract-Hoare-Logics.html
The file was modified web/entries/Abstract-Rewriting.html
The file was modified web/entries/Abstract_Completeness.html
The file was modified web/entries/Abstract_Soundness.html
The file was modified web/entries/Affine_Arithmetic.html
The file was modified web/entries/Aggregation_Algebras.html
The file was modified web/entries/Akra_Bazzi.html
The file was modified web/entries/Algebraic_Numbers.html
The file was modified web/entries/Algebraic_VCs.html
The file was modified web/entries/Allen_Calculus.html
The file was modified web/entries/Amortized_Complexity.html
The file was modified web/entries/AnselmGod.html
The file was modified web/entries/Applicative_Lifting.html
The file was modified web/entries/Architectural_Design_Patterns.html
The file was modified web/entries/ArrowImpossibilityGS.html
The file was modified web/entries/Auto2_HOL.html
The file was modified web/entries/Auto2_Imperative_HOL.html
The file was modified web/entries/AutoFocus-Stream.html
The file was modified web/entries/Automatic_Refinement.html
The file was modified web/entries/AxiomaticCategoryTheory.html
The file was modified web/entries/BDD.html
The file was modified web/entries/BNF_CC.html
The file was modified web/entries/BNF_Operations.html
The file was modified web/entries/Bell_Numbers_Spivey.html
The file was modified web/entries/Berlekamp_Zassenhaus.html
The file was modified web/entries/Bernoulli.html
The file was modified web/entries/Bertrands_Postulate.html
The file was modified web/entries/BinarySearchTree.html
The file was modified web/entries/Binding_Syntax_Theory.html
The file was modified web/entries/Binomial-Heaps.html
The file was modified web/entries/Binomial-Queues.html
The file was modified web/entries/Bondy.html
The file was modified web/entries/Boolean_Expression_Checkers.html
The file was modified web/entries/Bounded_Deducibility_Security.html
The file was modified web/entries/Buchi_Complementation.html
The file was modified web/entries/Budan_Fourier.html
The file was modified web/entries/Buffons_Needle.html
The file was modified web/entries/Buildings.html
The file was modified web/entries/BytecodeLogicJmlTypes.html
The file was modified web/entries/CAVA_Automata.html
The file was modified web/entries/CAVA_LTL_Modelchecker.html
The file was modified web/entries/CCS.html
The file was modified web/entries/CISC-Kernel.html
The file was modified web/entries/CRDT.html
The file was modified web/entries/CYK.html
The file was modified web/entries/CakeML.html
The file was modified web/entries/Call_Arity.html
The file was modified web/entries/Card_Equiv_Relations.html
The file was modified web/entries/Card_Multisets.html
The file was modified web/entries/Card_Number_Partitions.html
The file was modified web/entries/Card_Partitions.html
The file was modified web/entries/Cartan_FP.html
The file was modified web/entries/Case_Labeling.html
The file was modified web/entries/Catalan_Numbers.html
The file was modified web/entries/Category.html
The file was modified web/entries/Category2.html
The file was modified web/entries/Category3.html
The file was modified web/entries/Cauchy.html
The file was modified web/entries/Cayley_Hamilton.html
The file was modified web/entries/Certification_Monads.html
The file was modified web/entries/Chord_Segments.html
The file was modified web/entries/Circus.html
The file was modified web/entries/ClockSynchInst.html
The file was modified web/entries/CofGroups.html
The file was modified web/entries/Coinductive.html
The file was modified web/entries/Coinductive_Languages.html
The file was modified web/entries/Collections.html
The file was modified web/entries/Comparison_Sort_Lower_Bound.html
The file was modified web/entries/Compiling-Exceptions-Correctly.html
The file was modified web/entries/Completeness.html
The file was modified web/entries/Complx.html
The file was modified web/entries/ComponentDependencies.html
The file was modified web/entries/ConcurrentGC.html
The file was modified web/entries/ConcurrentIMP.html
The file was modified web/entries/Concurrent_Ref_Alg.html
The file was modified web/entries/Concurrent_Revisions.html
The file was modified web/entries/Consensus_Refined.html
The file was modified web/entries/Constructive_Cryptography.html
The file was modified web/entries/Constructor_Funs.html
The file was modified web/entries/Containers.html
The file was modified web/entries/CoreC++.html
The file was modified web/entries/Core_DOM.html
The file was modified web/entries/Count_Complex_Roots.html
The file was modified web/entries/CryptHOL.html
The file was modified web/entries/CryptoBasedCompositionalProperties.html
The file was modified web/entries/DFS_Framework.html
The file was modified web/entries/DPT-SAT-Solver.html
The file was modified web/entries/DataRefinementIBP.html
The file was modified web/entries/Datatype_Order_Generator.html
The file was modified web/entries/Decl_Sem_Fun_PL.html
The file was modified web/entries/Decreasing-Diagrams-II.html
The file was modified web/entries/Decreasing-Diagrams.html
The file was modified web/entries/Deep_Learning.html
The file was modified web/entries/Density_Compiler.html
The file was modified web/entries/Dependent_SIFUM_Refinement.html
The file was modified web/entries/Dependent_SIFUM_Type_Systems.html
The file was modified web/entries/Depth-First-Search.html
The file was modified web/entries/Derangements.html
The file was modified web/entries/Deriving.html
The file was modified web/entries/Descartes_Sign_Rule.html
The file was modified web/entries/Dict_Construction.html
The file was modified web/entries/Differential_Dynamic_Logic.html
The file was modified web/entries/Dijkstra_Shortest_Path.html
The file was modified web/entries/Diophantine_Eqns_Lin_Hom.html
The file was modified web/entries/Dirichlet_L.html
The file was modified web/entries/Dirichlet_Series.html
The file was modified web/entries/DiscretePricing.html
The file was modified web/entries/Discrete_Summation.html
The file was modified web/entries/DiskPaxos.html
The file was modified web/entries/DynamicArchitectures.html
The file was modified web/entries/Dynamic_Tables.html
The file was modified web/entries/E_Transcendental.html
The file was modified web/entries/Echelon_Form.html
The file was modified web/entries/EdmondsKarp_Maxflow.html
The file was modified web/entries/Efficient-Mergesort.html
The file was modified web/entries/Elliptic_Curves_Group_Law.html
The file was modified web/entries/Encodability_Process_Calculi.html
The file was modified web/entries/Epistemic_Logic.html
The file was modified web/entries/Ergodic_Theory.html
The file was modified web/entries/Error_Function.html
The file was modified web/entries/Euler_MacLaurin.html
The file was modified web/entries/Euler_Partition.html
The file was modified web/entries/FFT.html
The file was modified web/entries/FLP.html
The file was modified web/entries/FOL-Fitting.html
The file was modified web/entries/FOL_Harrison.html
The file was modified web/entries/Factored_Transition_System_Bounding.html
The file was modified web/entries/Falling_Factorial_Sum.html
The file was modified web/entries/Farkas.html
The file was modified web/entries/FeatherweightJava.html
The file was modified web/entries/Featherweight_OCL.html
The file was modified web/entries/Fermat3_4.html
The file was modified web/entries/FileRefinement.html
The file was modified web/entries/FinFun.html
The file was modified web/entries/Finger-Trees.html
The file was modified web/entries/Finite_Automata_HF.html
The file was modified web/entries/First_Order_Terms.html
The file was modified web/entries/First_Welfare_Theorem.html
The file was modified web/entries/Fishburn_Impossibility.html
The file was modified web/entries/Fisher_Yates.html
The file was modified web/entries/Flow_Networks.html
The file was modified web/entries/Floyd_Warshall.html
The file was modified web/entries/Flyspeck-Tame.html
The file was modified web/entries/FocusStreamsCaseStudies.html
The file was modified web/entries/Formal_SSA.html
The file was modified web/entries/Formula_Derivatives.html
The file was modified web/entries/Free-Boolean-Algebra.html
The file was modified web/entries/Free-Groups.html
The file was modified web/entries/FunWithFunctions.html
The file was modified web/entries/FunWithTilings.html
The file was modified web/entries/Functional-Automata.html
The file was modified web/entries/Functional_Ordered_Resolution_Prover.html
The file was modified web/entries/GPU_Kernel_PL.html
The file was modified web/entries/Gabow_SCC.html
The file was modified web/entries/Game_Based_Crypto.html
The file was modified web/entries/Gauss-Jordan-Elim-Fun.html
The file was modified web/entries/Gauss_Jordan.html
The file was modified web/entries/GenClock.html
The file was modified web/entries/General-Triangle.html
The file was modified web/entries/Generic_Deriving.html
The file was modified web/entries/GewirthPGCProof.html
The file was modified web/entries/Girth_Chromatic.html
The file was modified web/entries/GoedelGod.html
The file was modified web/entries/GraphMarkingIBP.html
The file was modified web/entries/Graph_Saturation.html
The file was modified web/entries/Graph_Theory.html
The file was modified web/entries/Green.html
The file was modified web/entries/Groebner_Bases.html
The file was modified web/entries/Gromov_Hyperbolicity.html
The file was modified web/entries/Group-Ring-Module.html
The file was modified web/entries/HOL-CSP.html
The file was modified web/entries/HOLCF-Prelude.html
The file was modified web/entries/HRB-Slicing.html
The file was modified web/entries/Heard_Of.html
The file was modified web/entries/HereditarilyFinite.html
The file was modified web/entries/Hermite.html
The file was modified web/entries/Hidden_Markov_Models.html
The file was modified web/entries/Higher_Order_Terms.html
The file was modified web/entries/Hoare_Time.html
The file was modified web/entries/HotelKeyCards.html
The file was modified web/entries/Huffman.html
The file was modified web/entries/Hybrid_Multi_Lane_Spatial_Logic.html
The file was modified web/entries/HyperCTL.html
The file was modified web/entries/IEEE_Floating_Point.html
The file was modified web/entries/IMAP-CRDT.html
The file was modified web/entries/IMP2.html
The file was modified web/entries/IP_Addresses.html
The file was modified web/entries/Imperative_Insertion_Sort.html
The file was modified web/entries/Impossible_Geometry.html
The file was modified web/entries/Incompleteness.html
The file was modified web/entries/Incredible_Proof_Machine.html
The file was modified web/entries/Inductive_Confidentiality.html
The file was modified web/entries/InfPathElimination.html
The file was modified web/entries/InformationFlowSlicing.html
The file was modified web/entries/InformationFlowSlicing_Inter.html
The file was modified web/entries/Integration.html
The file was modified web/entries/Iptables_Semantics.html
The file was modified web/entries/Irrationality_J_Hancl.html
The file was modified web/entries/Isabelle_Meta_Model.html
The file was modified web/entries/Jinja.html
The file was modified web/entries/JinjaThreads.html
The file was modified web/entries/JiveDataStoreModel.html
The file was modified web/entries/Jordan_Hoelder.html
The file was modified web/entries/Jordan_Normal_Form.html
The file was modified web/entries/KAD.html
The file was modified web/entries/KAT_and_DRA.html
The file was modified web/entries/KBPs.html
The file was modified web/entries/KD_Tree.html
The file was modified web/entries/Key_Agreement_Strong_Adversaries.html
The file was modified web/entries/Kleene_Algebra.html
The file was modified web/entries/Knot_Theory.html
The file was modified web/entries/Knuth_Morris_Pratt.html
The file was modified web/entries/Koenigsberg_Friendship.html
The file was modified web/entries/Kruskal.html
The file was modified web/entries/Kuratowski_Closure_Complement.html
The file was modified web/entries/LLL_Basis_Reduction.html
The file was modified web/entries/LLL_Factorization.html
The file was modified web/entries/LOFT.html
The file was modified web/entries/LTL.html
The file was modified web/entries/LTL_Master_Theorem.html
The file was modified web/entries/LTL_to_DRA.html
The file was modified web/entries/LTL_to_GBA.html
The file was modified web/entries/Lam-ml-Normalization.html
The file was modified web/entries/LambdaAuth.html
The file was modified web/entries/LambdaMu.html
The file was modified web/entries/Lambda_Free_EPO.html
The file was modified web/entries/Lambda_Free_KBOs.html
The file was modified web/entries/Lambda_Free_RPOs.html
The file was modified web/entries/Landau_Symbols.html
The file was modified web/entries/Latin_Square.html
The file was modified web/entries/LatticeProperties.html
The file was modified web/entries/Launchbury.html
The file was modified web/entries/Lazy-Lists-II.html
The file was modified web/entries/Lazy_Case.html
The file was modified web/entries/Lehmer.html
The file was modified web/entries/Lifting_Definition_Option.html
The file was modified web/entries/LightweightJava.html
The file was modified web/entries/LinearQuantifierElim.html
The file was modified web/entries/Linear_Recurrences.html
The file was modified web/entries/Liouville_Numbers.html
The file was modified web/entries/List-Index.html
The file was modified web/entries/List-Infinite.html
The file was modified web/entries/List_Interleaving.html
The file was modified web/entries/List_Inversions.html
The file was modified web/entries/List_Update.html
The file was modified web/entries/LocalLexing.html
The file was modified web/entries/Localization_Ring.html
The file was modified web/entries/Locally-Nameless-Sigma.html
The file was modified web/entries/Lowe_Ontological_Argument.html
The file was modified web/entries/Lower_Semicontinuous.html
The file was modified web/entries/Lp.html
The file was modified web/entries/MFMC_Countable.html
The file was modified web/entries/MSO_Regex_Equivalence.html
The file was modified web/entries/Markov_Models.html
The file was modified web/entries/Marriage.html
The file was modified web/entries/Mason_Stothers.html
The file was modified web/entries/Matrix.html
The file was modified web/entries/Matrix_Tensor.html
The file was modified web/entries/Matroids.html
The file was modified web/entries/Max-Card-Matching.html
The file was modified web/entries/Median_Of_Medians_Selection.html
The file was modified web/entries/Menger.html
The file was modified web/entries/MiniML.html
The file was modified web/entries/Minimal_SSA.html
The file was modified web/entries/Minkowskis_Theorem.html
The file was modified web/entries/Minsky_Machines.html
The file was modified web/entries/Modal_Logics_for_NTS.html
The file was modified web/entries/Modular_Assembly_Kit_Security.html
The file was modified web/entries/Monad_Memo_DP.html
The file was modified web/entries/Monad_Normalisation.html
The file was modified web/entries/MonoBoolTranAlgebra.html
The file was modified web/entries/MonoidalCategory.html
The file was modified web/entries/Monomorphic_Monad.html
The file was modified web/entries/MuchAdoAboutTwo.html
The file was modified web/entries/Multi_Party_Computation.html
The file was modified web/entries/Multirelations.html
The file was modified web/entries/Myhill-Nerode.html
The file was modified web/entries/Name_Carrying_Type_Inference.html
The file was modified web/entries/Nat-Interval-Logic.html
The file was modified web/entries/Native_Word.html
The file was modified web/entries/Nested_Multisets_Ordinals.html
The file was modified web/entries/Network_Security_Policy_Verification.html
The file was modified web/entries/Neumann_Morgenstern_Utility.html
The file was modified web/entries/No_FTL_observers.html
The file was modified web/entries/Nominal2.html
The file was modified web/entries/Noninterference_CSP.html
The file was modified web/entries/Noninterference_Concurrent_Composition.html
The file was modified web/entries/Noninterference_Generic_Unwinding.html
The file was modified web/entries/Noninterference_Inductive_Unwinding.html
The file was modified web/entries/Noninterference_Ipurge_Unwinding.html
The file was modified web/entries/Noninterference_Sequential_Composition.html
The file was modified web/entries/NormByEval.html
The file was modified web/entries/Octonions.html
The file was modified web/entries/OpSets.html
The file was modified web/entries/Open_Induction.html
The file was modified web/entries/Optics.html
The file was modified web/entries/Optimal_BST.html
The file was modified web/entries/Orbit_Stabiliser.html
The file was modified web/entries/Order_Lattice_Props.html
The file was modified web/entries/Ordered_Resolution_Prover.html
The file was modified web/entries/Ordinal.html
The file was modified web/entries/Ordinals_and_Cardinals.html
The file was modified web/entries/Ordinary_Differential_Equations.html
The file was modified web/entries/PCF.html
The file was modified web/entries/PLM.html
The file was modified web/entries/POPLmark-deBruijn.html
The file was modified web/entries/PSemigroupsConvolution.html
The file was modified web/entries/Pairing_Heap.html
The file was modified web/entries/Paraconsistency.html
The file was modified web/entries/Parity_Game.html
The file was modified web/entries/Partial_Function_MR.html
The file was modified web/entries/Partial_Order_Reduction.html
The file was modified web/entries/Password_Authentication_Protocol.html
The file was modified web/entries/Pell.html
The file was modified web/entries/Perfect-Number-Thm.html
The file was modified web/entries/Perron_Frobenius.html
The file was modified web/entries/Pi_Calculus.html
The file was modified web/entries/Pi_Transcendental.html
The file was modified web/entries/Planarity_Certificates.html
The file was modified web/entries/Polynomial_Factorization.html
The file was modified web/entries/Polynomial_Interpolation.html
The file was modified web/entries/Polynomials.html
The file was modified web/entries/Pop_Refinement.html
The file was modified web/entries/Posix-Lexing.html
The file was modified web/entries/Possibilistic_Noninterference.html
The file was modified web/entries/Pratt_Certificate.html
The file was modified web/entries/Presburger-Automata.html
The file was modified web/entries/Prime_Distribution_Elementary.html
The file was modified web/entries/Prime_Harmonic_Series.html
The file was modified web/entries/Prime_Number_Theorem.html
The file was modified web/entries/Priority_Queue_Braun.html
The file was modified web/entries/Probabilistic_Noninterference.html
The file was modified web/entries/Probabilistic_Prime_Tests.html
The file was modified web/entries/Probabilistic_System_Zoo.html
The file was modified web/entries/Probabilistic_Timed_Automata.html
The file was modified web/entries/Probabilistic_While.html
The file was modified web/entries/Program-Conflict-Analysis.html
The file was modified web/entries/Projective_Geometry.html
The file was modified web/entries/Promela.html
The file was modified web/entries/Proof_Strategy_Language.html
The file was modified web/entries/PropResPI.html
The file was modified web/entries/Propositional_Proof_Systems.html
The file was modified web/entries/Prpu_Maxflow.html
The file was modified web/entries/PseudoHoops.html
The file was modified web/entries/Psi_Calculi.html
The file was modified web/entries/Ptolemys_Theorem.html
The file was modified web/entries/QHLProver.html
The file was modified web/entries/QR_Decomposition.html
The file was modified web/entries/Quantales.html
The file was modified web/entries/Quaternions.html
The file was modified web/entries/Quick_Sort_Cost.html
The file was modified web/entries/RIPEMD-160-SPARK.html
The file was modified web/entries/ROBDD.html
The file was modified web/entries/RSAPSS.html
The file was modified web/entries/Ramsey-Infinite.html
The file was modified web/entries/Random_BSTs.html
The file was modified web/entries/Random_Graph_Subgraph_Threshold.html
The file was modified web/entries/Randomised_BSTs.html
The file was modified web/entries/Randomised_Social_Choice.html
The file was modified web/entries/Rank_Nullity_Theorem.html
The file was modified web/entries/Real_Impl.html
The file was modified web/entries/Recursion-Theory-I.html
The file was modified web/entries/Refine_Imperative_HOL.html
The file was modified web/entries/Refine_Monadic.html
The file was modified web/entries/RefinementReactive.html
The file was modified web/entries/Regex_Equivalence.html
The file was modified web/entries/Regular-Sets.html
The file was modified web/entries/Regular_Algebras.html
The file was modified web/entries/Relation_Algebra.html
The file was modified web/entries/Rep_Fin_Groups.html
The file was modified web/entries/Residuated_Lattices.html
The file was modified web/entries/Resolution_FOL.html
The file was modified web/entries/Rewriting_Z.html
The file was modified web/entries/Ribbon_Proofs.html
The file was modified web/entries/Robbins-Conjecture.html
The file was modified web/entries/Root_Balanced_Tree.html
The file was modified web/entries/Routing.html
The file was modified web/entries/Roy_Floyd_Warshall.html
The file was modified web/entries/SATSolverVerification.html
The file was modified web/entries/SDS_Impossibility.html
The file was modified web/entries/SIFPL.html
The file was modified web/entries/SIFUM_Type_Systems.html
The file was modified web/entries/SPARCv8.html
The file was modified web/entries/Safe_OCL.html
The file was modified web/entries/Secondary_Sylow.html
The file was modified web/entries/Security_Protocol_Refinement.html
The file was modified web/entries/Selection_Heap_Sort.html
The file was modified web/entries/SenSocialChoice.html
The file was modified web/entries/Separata.html
The file was modified web/entries/Separation_Algebra.html
The file was modified web/entries/Separation_Logic_Imperative_HOL.html
The file was modified web/entries/SequentInvertibility.html
The file was modified web/entries/Shivers-CFA.html
The file was modified web/entries/ShortestPath.html
The file was modified web/entries/Show.html
The file was modified web/entries/Signature_Groebner.html
The file was modified web/entries/Simpl.html
The file was modified web/entries/Simple_Firewall.html
The file was modified web/entries/Simplex.html
The file was modified web/entries/Skew_Heap.html
The file was modified web/entries/Slicing.html
The file was modified web/entries/Smooth_Manifolds.html
The file was modified web/entries/Sort_Encodings.html
The file was modified web/entries/Source_Coding_Theorem.html
The file was modified web/entries/Special_Function_Bounds.html
The file was modified web/entries/Splay_Tree.html
The file was modified web/entries/Sqrt_Babylonian.html
The file was modified web/entries/Stable_Matching.html
The file was modified web/entries/Statecharts.html
The file was modified web/entries/Stern_Brocot.html
The file was modified web/entries/Stewart_Apollonius.html
The file was modified web/entries/Stirling_Formula.html
The file was modified web/entries/Stochastic_Matrices.html
The file was modified web/entries/Stone_Algebras.html
The file was modified web/entries/Stone_Kleene_Relation_Algebras.html
The file was modified web/entries/Stone_Relation_Algebras.html
The file was modified web/entries/Store_Buffer_Reduction.html
The file was modified web/entries/Stream-Fusion.html
The file was modified web/entries/Stream_Fusion_Code.html
The file was modified web/entries/Strong_Security.html
The file was modified web/entries/Sturm_Sequences.html
The file was modified web/entries/Sturm_Tarski.html
The file was modified web/entries/Stuttering_Equivalence.html
The file was modified web/entries/Subresultants.html
The file was modified web/entries/SumSquares.html
The file was modified web/entries/SuperCalc.html
The file was modified web/entries/Surprise_Paradox.html
The file was modified web/entries/Symmetric_Polynomials.html
The file was modified web/entries/TLA.html
The file was modified web/entries/Tail_Recursive_Functions.html
The file was modified web/entries/Tarskis_Geometry.html
The file was modified web/entries/Taylor_Models.html
The file was modified web/entries/Timed_Automata.html
The file was modified web/entries/Topology.html
The file was modified web/entries/TortoiseHare.html
The file was modified web/entries/Transcendence_Series_Hancl_Rucki.html
The file was modified web/entries/Transformer_Semantics.html
The file was modified web/entries/Transition_Systems_and_Automata.html
The file was modified web/entries/Transitive-Closure-II.html
The file was modified web/entries/Transitive-Closure.html
The file was modified web/entries/Treaps.html
The file was modified web/entries/Tree-Automata.html
The file was modified web/entries/Tree_Decomposition.html
The file was modified web/entries/Triangle.html
The file was modified web/entries/Trie.html
The file was modified web/entries/Twelvefold_Way.html
The file was modified web/entries/Tycon.html
The file was modified web/entries/Types_Tableaus_and_Goedels_God.html
The file was modified web/entries/UPF.html
The file was modified web/entries/UPF_Firewall.html
The file was modified web/entries/UTP.html
The file was modified web/entries/Universal_Turing_Machine.html
The file was modified web/entries/UpDown_Scheme.html
The file was modified web/entries/Valuation.html
The file was modified web/entries/VectorSpace.html
The file was modified web/entries/Verified-Prover.html
The file was modified web/entries/VerifyThis2018.html
The file was modified web/entries/Vickrey_Clarke_Groves.html
The file was modified web/entries/VolpanoSmith.html
The file was modified web/entries/WHATandWHERE_Security.html
The file was modified web/entries/WebAssembly.html
The file was modified web/entries/Weight_Balanced_Trees.html
The file was modified web/entries/Well_Quasi_Orders.html
The file was modified web/entries/Winding_Number_Eval.html
The file was modified web/entries/Word_Lib.html
The file was modified web/entries/WorkerWrapper.html
The file was modified web/entries/XML.html
The file was modified web/entries/Zeta_Function.html
The file was modified web/entries/pGCL.html
Changeset 10471:2f70764e6e8e by gerwin klein _gerwin.klein@data61.csiro.au_:
update release dates for 2019
The file was modified metadata/release-dates
The file was modified metadata/releases