Skip to content
Success

Changes

Summary

  1. regenerate site
  2. generate download page
  3. regenerate site
  4. use sitegen to generate AFP devel pages
  5. tuned
  6. sitegen distinguishes between 'devel' and 'stable'
Changeset 6876:abe3ef6861f1 by lars hupel _lars.hupel@mytum.de_:
regenerate site
The file was modified web/download.shtml (diff)
Changeset 6875:b738c4d70933 by lars hupel _lars.hupel@mytum.de_:
generate download page
The file was addedmetadata/download.tpl
The file was modified admin/sitegen-lib/config.py (diff)
The file was modified admin/sitegen-lib/templates.py (diff)
Changeset 6874:c095a50d780d by lars hupel _lars.hupel@mytum.de_:
regenerate site
The file was modified web/entries/AODV.shtml (diff)
The file was modified web/entries/AVL-Trees.shtml (diff)
The file was modified web/entries/AWN.shtml (diff)
The file was modified web/entries/Abortable_Linearizable_Modules.shtml (diff)
The file was modified web/entries/Abstract-Hoare-Logics.shtml (diff)
The file was modified web/entries/Abstract-Rewriting.shtml (diff)
The file was modified web/entries/Abstract_Completeness.shtml (diff)
The file was modified web/entries/Affine_Arithmetic.shtml (diff)
The file was modified web/entries/Akra_Bazzi.shtml (diff)
The file was modified web/entries/Algebraic_Numbers.shtml (diff)
The file was modified web/entries/Algebraic_VCs.shtml (diff)
The file was modified web/entries/Amortized_Complexity.shtml (diff)
The file was modified web/entries/Applicative_Lifting.shtml (diff)
The file was modified web/entries/ArrowImpossibilityGS.shtml (diff)
The file was modified web/entries/AutoFocus-Stream.shtml (diff)
The file was modified web/entries/Automatic_Refinement.shtml (diff)
The file was modified web/entries/BDD.shtml (diff)
The file was modified web/entries/Bell_Numbers_Spivey.shtml (diff)
The file was modified web/entries/BinarySearchTree.shtml (diff)
The file was modified web/entries/Binomial-Heaps.shtml (diff)
The file was modified web/entries/Binomial-Queues.shtml (diff)
The file was modified web/entries/Bondy.shtml (diff)
The file was modified web/entries/Boolean_Expression_Checkers.shtml (diff)
The file was modified web/entries/Bounded_Deducibility_Security.shtml (diff)
The file was modified web/entries/Buildings.shtml (diff)
The file was modified web/entries/BytecodeLogicJmlTypes.shtml (diff)
The file was modified web/entries/CAVA_Automata.shtml (diff)
The file was modified web/entries/CAVA_LTL_Modelchecker.shtml (diff)
The file was modified web/entries/CCS.shtml (diff)
The file was modified web/entries/CISC-Kernel.shtml (diff)
The file was modified web/entries/CYK.shtml (diff)
The file was modified web/entries/Call_Arity.shtml (diff)
The file was modified web/entries/Card_Equiv_Relations.shtml (diff)
The file was modified web/entries/Card_Multisets.shtml (diff)
The file was modified web/entries/Card_Number_Partitions.shtml (diff)
The file was modified web/entries/Card_Partitions.shtml (diff)
The file was modified web/entries/Cartan_FP.shtml (diff)
The file was modified web/entries/Case_Labeling.shtml (diff)
The file was modified web/entries/Catalan_Numbers.shtml (diff)
The file was modified web/entries/Category.shtml (diff)
The file was modified web/entries/Category2.shtml (diff)
The file was modified web/entries/Category3.shtml (diff)
The file was modified web/entries/Cauchy.shtml (diff)
The file was modified web/entries/Cayley_Hamilton.shtml (diff)
The file was modified web/entries/Certification_Monads.shtml (diff)
The file was modified web/entries/Circus.shtml (diff)
The file was modified web/entries/ClockSynchInst.shtml (diff)
The file was modified web/entries/CofGroups.shtml (diff)
The file was modified web/entries/Coinductive.shtml (diff)
The file was modified web/entries/Coinductive_Languages.shtml (diff)
The file was modified web/entries/Collections.shtml (diff)
The file was modified web/entries/Compiling-Exceptions-Correctly.shtml (diff)
The file was modified web/entries/Completeness.shtml (diff)
The file was modified web/entries/ComponentDependencies.shtml (diff)
The file was modified web/entries/ConcurrentGC.shtml (diff)
The file was modified web/entries/ConcurrentIMP.shtml (diff)
The file was modified web/entries/Consensus_Refined.shtml (diff)
The file was modified web/entries/Containers.shtml (diff)
The file was modified web/entries/CoreC++.shtml (diff)
The file was modified web/entries/CryptoBasedCompositionalProperties.shtml (diff)
The file was modified web/entries/DFS_Framework.shtml (diff)
The file was modified web/entries/DPT-SAT-Solver.shtml (diff)
The file was modified web/entries/DataRefinementIBP.shtml (diff)
The file was modified web/entries/Datatype_Order_Generator.shtml (diff)
The file was modified web/entries/Decreasing-Diagrams-II.shtml (diff)
The file was modified web/entries/Decreasing-Diagrams.shtml (diff)
The file was modified web/entries/Density_Compiler.shtml (diff)
The file was modified web/entries/Dependent_SIFUM_Refinement.shtml (diff)
The file was modified web/entries/Dependent_SIFUM_Type_Systems.shtml (diff)
The file was modified web/entries/Depth-First-Search.shtml (diff)
The file was modified web/entries/Derangements.shtml (diff)
The file was modified web/entries/Deriving.shtml (diff)
The file was modified web/entries/Descartes_Sign_Rule.shtml (diff)
The file was modified web/entries/Dijkstra_Shortest_Path.shtml (diff)
The file was modified web/entries/Discrete_Summation.shtml (diff)
The file was modified web/entries/DiskPaxos.shtml (diff)
The file was modified web/entries/Dynamic_Tables.shtml (diff)
The file was modified web/entries/Echelon_Form.shtml (diff)
The file was modified web/entries/Efficient-Mergesort.shtml (diff)
The file was modified web/entries/Encodability_Process_Calculi.shtml (diff)
The file was modified web/entries/Ergodic_Theory.shtml (diff)
The file was modified web/entries/Euler_Partition.shtml (diff)
The file was modified web/entries/FFT.shtml (diff)
The file was modified web/entries/FLP.shtml (diff)
The file was modified web/entries/FOL-Fitting.shtml (diff)
The file was modified web/entries/FeatherweightJava.shtml (diff)
The file was modified web/entries/Featherweight_OCL.shtml (diff)
The file was modified web/entries/Fermat3_4.shtml (diff)
The file was modified web/entries/FileRefinement.shtml (diff)
The file was modified web/entries/FinFun.shtml (diff)
The file was modified web/entries/Finger-Trees.shtml (diff)
The file was modified web/entries/Finite_Automata_HF.shtml (diff)
The file was modified web/entries/Flyspeck-Tame.shtml (diff)
The file was modified web/entries/FocusStreamsCaseStudies.shtml (diff)
The file was modified web/entries/Formal_SSA.shtml (diff)
The file was modified web/entries/Formula_Derivatives.shtml (diff)
The file was modified web/entries/Free-Boolean-Algebra.shtml (diff)
The file was modified web/entries/Free-Groups.shtml (diff)
The file was modified web/entries/FunWithFunctions.shtml (diff)
The file was modified web/entries/FunWithTilings.shtml (diff)
The file was modified web/entries/Functional-Automata.shtml (diff)
The file was modified web/entries/GPU_Kernel_PL.shtml (diff)
The file was modified web/entries/Gabow_SCC.shtml (diff)
The file was modified web/entries/Gauss-Jordan-Elim-Fun.shtml (diff)
The file was modified web/entries/Gauss_Jordan.shtml (diff)
The file was modified web/entries/GenClock.shtml (diff)
The file was modified web/entries/General-Triangle.shtml (diff)
The file was modified web/entries/Girth_Chromatic.shtml (diff)
The file was modified web/entries/GoedelGod.shtml (diff)
The file was modified web/entries/GraphMarkingIBP.shtml (diff)
The file was modified web/entries/Graph_Theory.shtml (diff)
The file was modified web/entries/Groebner_Bases.shtml (diff)
The file was modified web/entries/Group-Ring-Module.shtml (diff)
The file was modified web/entries/HRB-Slicing.shtml (diff)
The file was modified web/entries/Heard_Of.shtml (diff)
The file was modified web/entries/HereditarilyFinite.shtml (diff)
The file was modified web/entries/Hermite.shtml (diff)
The file was modified web/entries/HotelKeyCards.shtml (diff)
The file was modified web/entries/Huffman.shtml (diff)
The file was modified web/entries/HyperCTL.shtml (diff)
The file was modified web/entries/IEEE_Floating_Point.shtml (diff)
The file was modified web/entries/IP_Addresses.shtml (diff)
The file was modified web/entries/Imperative_Insertion_Sort.shtml (diff)
The file was modified web/entries/Impossible_Geometry.shtml (diff)
The file was modified web/entries/Incompleteness.shtml (diff)
The file was modified web/entries/Incredible_Proof_Machine.shtml (diff)
The file was modified web/entries/Inductive_Confidentiality.shtml (diff)
The file was modified web/entries/InformationFlowSlicing.shtml (diff)
The file was modified web/entries/InformationFlowSlicing_Inter.shtml (diff)
The file was modified web/entries/Integration.shtml (diff)
The file was modified web/entries/Isabelle_Meta_Model.shtml (diff)
The file was modified web/entries/Jinja.shtml (diff)
The file was modified web/entries/JinjaThreads.shtml (diff)
The file was modified web/entries/JiveDataStoreModel.shtml (diff)
The file was modified web/entries/Jordan_Hoelder.shtml (diff)
The file was modified web/entries/Jordan_Normal_Form.shtml (diff)
The file was modified web/entries/KAD.shtml (diff)
The file was modified web/entries/KAT_and_DRA.shtml (diff)
The file was modified web/entries/KBPs.shtml (diff)
The file was modified web/entries/Kleene_Algebra.shtml (diff)
The file was modified web/entries/Knot_Theory.shtml (diff)
The file was modified web/entries/Koenigsberg_Friendship.shtml (diff)
The file was modified web/entries/LTL.shtml (diff)
The file was modified web/entries/LTL_to_DRA.shtml (diff)
The file was modified web/entries/LTL_to_GBA.shtml (diff)
The file was modified web/entries/Lam-ml-Normalization.shtml (diff)
The file was modified web/entries/Landau_Symbols.shtml (diff)
The file was modified web/entries/Latin_Square.shtml (diff)
The file was modified web/entries/LatticeProperties.shtml (diff)
The file was modified web/entries/Launchbury.shtml (diff)
The file was modified web/entries/Lazy-Lists-II.shtml (diff)
The file was modified web/entries/Lehmer.shtml (diff)
The file was modified web/entries/Lifting_Definition_Option.shtml (diff)
The file was modified web/entries/LightweightJava.shtml (diff)
The file was modified web/entries/LinearQuantifierElim.shtml (diff)
The file was modified web/entries/Liouville_Numbers.shtml (diff)
The file was modified web/entries/List-Index.shtml (diff)
The file was modified web/entries/List-Infinite.shtml (diff)
The file was modified web/entries/List_Interleaving.shtml (diff)
The file was modified web/entries/List_Update.shtml (diff)
The file was modified web/entries/Locally-Nameless-Sigma.shtml (diff)
The file was modified web/entries/Lower_Semicontinuous.shtml (diff)
The file was modified web/entries/MFMC_Countable.shtml (diff)
The file was modified web/entries/MSO_Regex_Equivalence.shtml (diff)
The file was modified web/entries/Markov_Models.shtml (diff)
The file was modified web/entries/Marriage.shtml (diff)
The file was modified web/entries/Matrix.shtml (diff)
The file was modified web/entries/Matrix_Tensor.shtml (diff)
The file was modified web/entries/Max-Card-Matching.shtml (diff)
The file was modified web/entries/MiniML.shtml (diff)
The file was modified web/entries/MonoBoolTranAlgebra.shtml (diff)
The file was modified web/entries/MuchAdoAboutTwo.shtml (diff)
The file was modified web/entries/Multirelations.shtml (diff)
The file was modified web/entries/Multivariate_Polynomials.shtml (diff)
The file was modified web/entries/Myhill-Nerode.shtml (diff)
The file was modified web/entries/Nat-Interval-Logic.shtml (diff)
The file was modified web/entries/Native_Word.shtml (diff)
The file was modified web/entries/Network_Security_Policy_Verification.shtml (diff)
The file was modified web/entries/No_FTL_observers.shtml (diff)
The file was modified web/entries/Nominal2.shtml (diff)
The file was modified web/entries/Noninterference_CSP.shtml (diff)
The file was modified web/entries/Noninterference_Concurrent_Composition.shtml (diff)
The file was modified web/entries/Noninterference_Generic_Unwinding.shtml (diff)
The file was modified web/entries/Noninterference_Inductive_Unwinding.shtml (diff)
The file was modified web/entries/Noninterference_Ipurge_Unwinding.shtml (diff)
The file was modified web/entries/Noninterference_Sequential_Composition.shtml (diff)
The file was modified web/entries/NormByEval.shtml (diff)
The file was modified web/entries/Open_Induction.shtml (diff)
The file was modified web/entries/Ordinal.shtml (diff)
The file was modified web/entries/Ordinals_and_Cardinals.shtml (diff)
The file was modified web/entries/Ordinary_Differential_Equations.shtml (diff)
The file was modified web/entries/PCF.shtml (diff)
The file was modified web/entries/POPLmark-deBruijn.shtml (diff)
The file was modified web/entries/Parity_Game.shtml (diff)
The file was modified web/entries/Partial_Function_MR.shtml (diff)
The file was modified web/entries/Perfect-Number-Thm.shtml (diff)
The file was modified web/entries/Perron_Frobenius.shtml (diff)
The file was modified web/entries/Pi_Calculus.shtml (diff)
The file was modified web/entries/Planarity_Certificates.shtml (diff)
The file was modified web/entries/Polynomial_Factorization.shtml (diff)
The file was modified web/entries/Polynomial_Interpolation.shtml (diff)
The file was modified web/entries/Polynomials.shtml (diff)
The file was modified web/entries/Pop_Refinement.shtml (diff)
The file was modified web/entries/Posix-Lexing.shtml (diff)
The file was modified web/entries/Possibilistic_Noninterference.shtml (diff)
The file was modified web/entries/Pratt_Certificate.shtml (diff)
The file was modified web/entries/Presburger-Automata.shtml (diff)
The file was modified web/entries/Prime_Harmonic_Series.shtml (diff)
The file was modified web/entries/Priority_Queue_Braun.shtml (diff)
The file was modified web/entries/Probabilistic_Noninterference.shtml (diff)
The file was modified web/entries/Probabilistic_System_Zoo.shtml (diff)
The file was modified web/entries/Program-Conflict-Analysis.shtml (diff)
The file was modified web/entries/Promela.shtml (diff)
The file was modified web/entries/PropResPI.shtml (diff)
The file was modified web/entries/PseudoHoops.shtml (diff)
The file was modified web/entries/Psi_Calculi.shtml (diff)
The file was modified web/entries/QR_Decomposition.shtml (diff)
The file was modified web/entries/RIPEMD-160-SPARK.shtml (diff)
The file was modified web/entries/ROBDD.shtml (diff)
The file was modified web/entries/RSAPSS.shtml (diff)
The file was modified web/entries/Ramsey-Infinite.shtml (diff)
The file was modified web/entries/Random_Graph_Subgraph_Threshold.shtml (diff)
The file was modified web/entries/Randomised_Social_Choice.shtml (diff)
The file was modified web/entries/Rank_Nullity_Theorem.shtml (diff)
The file was modified web/entries/Real_Impl.shtml (diff)
The file was modified web/entries/Recursion-Theory-I.shtml (diff)
The file was modified web/entries/Refine_Monadic.shtml (diff)
The file was modified web/entries/RefinementReactive.shtml (diff)
The file was modified web/entries/Regex_Equivalence.shtml (diff)
The file was modified web/entries/Regular-Sets.shtml (diff)
The file was modified web/entries/Regular_Algebras.shtml (diff)
The file was modified web/entries/Relation_Algebra.shtml (diff)
The file was modified web/entries/Rep_Fin_Groups.shtml (diff)
The file was modified web/entries/Residuated_Lattices.shtml (diff)
The file was modified web/entries/Resolution_FOL.shtml (diff)
The file was modified web/entries/Rewriting_Z.shtml (diff)
The file was modified web/entries/Ribbon_Proofs.shtml (diff)
The file was modified web/entries/Robbins-Conjecture.shtml (diff)
The file was modified web/entries/Roy_Floyd_Warshall.shtml (diff)
The file was modified web/entries/SATSolverVerification.shtml (diff)
The file was modified web/entries/SDS_Impossibility.shtml (diff)
The file was modified web/entries/SIFPL.shtml (diff)
The file was modified web/entries/SIFUM_Type_Systems.shtml (diff)
The file was modified web/entries/Secondary_Sylow.shtml (diff)
The file was modified web/entries/Selection_Heap_Sort.shtml (diff)
The file was modified web/entries/SenSocialChoice.shtml (diff)
The file was modified web/entries/Separation_Algebra.shtml (diff)
The file was modified web/entries/Separation_Logic_Imperative_HOL.shtml (diff)
The file was modified web/entries/SequentInvertibility.shtml (diff)
The file was modified web/entries/Shivers-CFA.shtml (diff)
The file was modified web/entries/ShortestPath.shtml (diff)
The file was modified web/entries/Show.shtml (diff)
The file was modified web/entries/Simpl.shtml (diff)
The file was modified web/entries/Skew_Heap.shtml (diff)
The file was modified web/entries/Slicing.shtml (diff)
The file was modified web/entries/Sort_Encodings.shtml (diff)
The file was modified web/entries/Special_Function_Bounds.shtml (diff)
The file was modified web/entries/Splay_Tree.shtml (diff)
The file was modified web/entries/Sqrt_Babylonian.shtml (diff)
The file was modified web/entries/Statecharts.shtml (diff)
The file was modified web/entries/Stern_Brocot.shtml (diff)
The file was modified web/entries/Stream-Fusion.shtml (diff)
The file was modified web/entries/Stream_Fusion_Code.shtml (diff)
The file was modified web/entries/Strong_Security.shtml (diff)
The file was modified web/entries/Sturm_Sequences.shtml (diff)
The file was modified web/entries/Sturm_Tarski.shtml (diff)
The file was modified web/entries/Stuttering_Equivalence.shtml (diff)
The file was modified web/entries/SumSquares.shtml (diff)
The file was modified web/entries/TLA.shtml (diff)
The file was modified web/entries/Tail_Recursive_Functions.shtml (diff)
The file was modified web/entries/Tarskis_Geometry.shtml (diff)
The file was modified web/entries/Timed_Automata.shtml (diff)
The file was modified web/entries/Topology.shtml (diff)
The file was modified web/entries/TortoiseHare.shtml (diff)
The file was modified web/entries/Transitive-Closure-II.shtml (diff)
The file was modified web/entries/Transitive-Closure.shtml (diff)
The file was modified web/entries/Tree-Automata.shtml (diff)
The file was modified web/entries/Tree_Decomposition.shtml (diff)
The file was modified web/entries/Triangle.shtml (diff)
The file was modified web/entries/Trie.shtml (diff)
The file was modified web/entries/Tycon.shtml (diff)
The file was modified web/entries/UPF.shtml (diff)
The file was modified web/entries/UpDown_Scheme.shtml (diff)
The file was modified web/entries/Valuation.shtml (diff)
The file was modified web/entries/VectorSpace.shtml (diff)
The file was modified web/entries/Verified-Prover.shtml (diff)
The file was modified web/entries/Vickrey_Clarke_Groves.shtml (diff)
The file was modified web/entries/VolpanoSmith.shtml (diff)
The file was modified web/entries/WHATandWHERE_Security.shtml (diff)
The file was modified web/entries/Well_Quasi_Orders.shtml (diff)
The file was modified web/entries/Word_Lib.shtml (diff)
The file was modified web/entries/WorkerWrapper.shtml (diff)
The file was modified web/entries/XML.shtml (diff)
The file was modified web/entries/pGCL.shtml (diff)
Changeset 6873:7dc415bdc8a3 by lars hupel _lars.hupel@mytum.de_:
use sitegen to generate AFP devel pages
The file was addedadmin/sitegen-devel
The file was addedmetadata/empty-status.json
The file was addedmetadata/status.tpl
The file was modified admin/sitegen (diff)
The file was modified admin/sitegen-lib/config.py (diff)
The file was modified admin/sitegen-lib/sitegen.py (diff)
The file was modified admin/sitegen-lib/templates.py (diff)
The file was modified metadata/entry.tpl (diff)
The file was modified web/download.shtml (diff)
The file was modified web/front.css (diff)
The file was modified web/index.shtml (diff)
The file was removedadmin/status.tpl
The file was removedweb/entries/devel-warning.shtml
The file was modified admin/sitegen-lib/sitegen.py (diff)
Changeset 6871:49bfdc6aa377 by lars hupel _lars.hupel@mytum.de_:
sitegen distinguishes between 'devel' and 'stable'
The file was modified admin/sitegen-lib/config.py (diff)
The file was modified admin/sitegen-lib/sitegen.py (diff)
The file was modified admin/sitegen-lib/templates.py (diff)
The file was modified metadata/index.tpl (diff)
The file was modified web/index.shtml (diff)