Skip to content
Success

Changes

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

Summary

  1. merged
  2. Helpful lemmas for dealing with equalities involving Act.
  3. merge from afp-2016-1
  4. sitegen not available in export; revert to old publish method for now
  5. Fix template for entries
  6. tweak layout now that css seems to be respected
  7. entries are .shtml not .html
  8. regenerate website
  9. Merged in ammerbauer/afp-2016-1 (pull request #1) Create webpage with Jinja2 template engine
  10. Add logging to sitegen
  11. macOS: prefer system Python
  12. BSD/macOS compatibility
  13. managed Python environment
  14. Sitegen creates RSS feed
  15. Remove superfluous import
  16. Create webpage with Jinja2 template engine
Changeset 7643:c6bae03ef0ed by tjark weber _tjark.weber@it.uu.se_:
Helpful lemmas for dealing with equalities involving Act.
The file was modified thys/Modal_Logics_for_NTS/Bisimilarity_Implies_Equivalence.thy
The file was modified thys/Modal_Logics_for_NTS/FL_Bisimilarity_Implies_Equivalence.thy
The file was modified thys/Modal_Logics_for_NTS/FL_Validity.thy
The file was modified thys/Modal_Logics_for_NTS/Formula.thy
The file was modified thys/Modal_Logics_for_NTS/Validity.thy
Changeset 7642:d45895d9de97 by kleing:
merge from afp-2016-1
Changeset 7641:6ea260994b82 by gerwin.klein@data61.csiro.au:
sitegen not available in export; revert to old publish method for now
The file was modified admin/publish
The file was modified admin/sitegen-lib/templates/entry.tpl
The file was modified web/entries/AODV.shtml
The file was modified web/entries/AWN.shtml
The file was modified web/entries/Abstract_Soundness.shtml
The file was modified web/entries/Affine_Arithmetic.shtml
The file was modified web/entries/Akra_Bazzi.shtml
The file was modified web/entries/Algebraic_Numbers.shtml
The file was modified web/entries/Algebraic_VCs.shtml
The file was modified web/entries/Applicative_Lifting.shtml
The file was modified web/entries/AutoFocus-Stream.shtml
The file was modified web/entries/Automatic_Refinement.shtml
The file was modified web/entries/BDD.shtml
The file was modified web/entries/Binomial-Heaps.shtml
The file was modified web/entries/Boolean_Expression_Checkers.shtml
The file was modified web/entries/CAVA_LTL_Modelchecker.shtml
The file was modified web/entries/Call_Arity.shtml
The file was modified web/entries/Card_Equiv_Relations.shtml
The file was modified web/entries/Card_Multisets.shtml
The file was modified web/entries/Card_Number_Partitions.shtml
The file was modified web/entries/Case_Labeling.shtml
The file was modified web/entries/Catalan_Numbers.shtml
The file was modified web/entries/Cauchy.shtml
The file was modified web/entries/Cayley_Hamilton.shtml
The file was modified web/entries/Chord_Segments.shtml
The file was modified web/entries/Coinductive.shtml
The file was modified web/entries/Complx.shtml
The file was modified web/entries/ConcurrentGC.shtml
The file was modified web/entries/ConcurrentIMP.shtml
The file was modified web/entries/Consensus_Refined.shtml
The file was modified web/entries/Decreasing-Diagrams-II.shtml
The file was modified web/entries/Decreasing-Diagrams.shtml
The file was modified web/entries/Deep_Learning.shtml
The file was modified web/entries/Dependent_SIFUM_Refinement.shtml
The file was modified web/entries/Dependent_SIFUM_Type_Systems.shtml
The file was modified web/entries/Differential_Dynamic_Logic.shtml
The file was modified web/entries/Discrete_Summation.shtml
The file was modified web/entries/Dynamic_Tables.shtml
The file was modified web/entries/EdmondsKarp_Maxflow.shtml
The file was modified web/entries/Efficient-Mergesort.shtml
The file was modified web/entries/Ergodic_Theory.shtml
The file was modified web/entries/Euler_Partition.shtml
The file was modified web/entries/Finger-Trees.shtml
The file was modified web/entries/Finite_Automata_HF.shtml
The file was modified web/entries/Flyspeck-Tame.shtml
The file was modified web/entries/Formula_Derivatives.shtml
The file was modified web/entries/Functional-Automata.shtml
The file was modified web/entries/Gauss-Jordan-Elim-Fun.shtml
The file was modified web/entries/Girth_Chromatic.shtml
The file was modified web/entries/GraphMarkingIBP.shtml
The file was modified web/entries/Graph_Theory.shtml
The file was modified web/entries/Groebner_Bases.shtml
The file was modified web/entries/Group-Ring-Module.shtml
The file was modified web/entries/HereditarilyFinite.shtml
The file was modified web/entries/Hermite.shtml
The file was modified web/entries/Incredible_Proof_Machine.shtml
The file was modified web/entries/InformationFlowSlicing.shtml
The file was modified web/entries/InformationFlowSlicing_Inter.shtml
The file was modified web/entries/JinjaThreads.shtml
The file was modified web/entries/Jordan_Hoelder.shtml
The file was modified web/entries/Kleene_Algebra.shtml
The file was modified web/entries/Knot_Theory.shtml
The file was modified web/entries/Koenigsberg_Friendship.shtml
The file was modified web/entries/LOFT.shtml
The file was modified web/entries/LTL.shtml
The file was modified web/entries/LTL_to_DRA.shtml
The file was modified web/entries/Lambda_Free_KBOs.shtml
The file was modified web/entries/Lambda_Free_RPOs.shtml
The file was modified web/entries/Landau_Symbols.shtml
The file was modified web/entries/Latin_Square.shtml
The file was modified web/entries/LatticeProperties.shtml
The file was modified web/entries/Lehmer.shtml
The file was modified web/entries/List-Index.shtml
The file was modified web/entries/List-Infinite.shtml
The file was modified web/entries/List_Interleaving.shtml
The file was modified web/entries/List_Update.shtml
The file was modified web/entries/Lp.shtml
The file was modified web/entries/MSO_Regex_Equivalence.shtml
The file was modified web/entries/Marriage.shtml
The file was modified web/entries/Minimal_SSA.shtml
The file was modified web/entries/Modal_Logics_for_NTS.shtml
The file was modified web/entries/MonoBoolTranAlgebra.shtml
The file was modified web/entries/Multirelations.shtml
The file was modified web/entries/Myhill-Nerode.shtml
The file was modified web/entries/Native_Word.shtml
The file was modified web/entries/Nested_Multisets_Ordinals.shtml
The file was modified web/entries/Network_Security_Policy_Verification.shtml
The file was modified web/entries/Nominal2.shtml
The file was modified web/entries/Noninterference_CSP.shtml
The file was modified web/entries/Noninterference_Concurrent_Composition.shtml
The file was modified web/entries/Noninterference_Generic_Unwinding.shtml
The file was modified web/entries/Noninterference_Inductive_Unwinding.shtml
The file was modified web/entries/Open_Induction.shtml
The file was modified web/entries/Pairing_Heap.shtml
The file was modified web/entries/Parity_Game.shtml
The file was modified web/entries/Partial_Function_MR.shtml
The file was modified web/entries/Perron_Frobenius.shtml
The file was modified web/entries/Planarity_Certificates.shtml
The file was modified web/entries/Posix-Lexing.shtml
The file was modified web/entries/Pratt_Certificate.shtml
The file was modified web/entries/Probabilistic_Noninterference.shtml
The file was modified web/entries/PseudoHoops.shtml
The file was modified web/entries/QR_Decomposition.shtml
The file was modified web/entries/ROBDD.shtml
The file was modified web/entries/Random_Graph_Subgraph_Threshold.shtml
The file was modified web/entries/Rank_Nullity_Theorem.shtml
The file was modified web/entries/Regex_Equivalence.shtml
The file was modified web/entries/Regular-Sets.shtml
The file was modified web/entries/Regular_Algebras.shtml
The file was modified web/entries/Residuated_Lattices.shtml
The file was modified web/entries/Rewriting_Z.shtml
The file was modified web/entries/SDS_Impossibility.shtml
The file was modified web/entries/Secondary_Sylow.shtml
The file was modified web/entries/Separata.shtml
The file was modified web/entries/Separation_Algebra.shtml
The file was modified web/entries/ShortestPath.shtml
The file was modified web/entries/Simpl.shtml
The file was modified web/entries/Skew_Heap.shtml
The file was modified web/entries/Special_Function_Bounds.shtml
The file was modified web/entries/Splay_Tree.shtml
The file was modified web/entries/Stern_Brocot.shtml
The file was modified web/entries/Stirling_Formula.shtml
The file was modified web/entries/Stone_Algebras.shtml
The file was modified web/entries/Stone_Relation_Algebras.shtml
The file was modified web/entries/Stream_Fusion_Code.shtml
The file was modified web/entries/Strong_Security.shtml
The file was modified web/entries/Sturm_Sequences.shtml
The file was modified web/entries/Surprise_Paradox.shtml
The file was modified web/entries/Topology.shtml
The file was modified web/entries/Transitive-Closure-II.shtml
The file was modified web/entries/Tree-Automata.shtml
The file was modified web/entries/Triangle.shtml
The file was modified web/entries/Trie.shtml
The file was modified web/entries/Twelvefold_Way.shtml
The file was modified web/entries/UPF.shtml
The file was modified web/entries/UPF_Firewall.shtml
The file was modified web/entries/UpDown_Scheme.shtml
The file was modified web/entries/Valuation.shtml
The file was modified web/entries/VectorSpace.shtml
The file was modified web/entries/WHATandWHERE_Security.shtml
The file was modified web/entries/Word_Lib.shtml
The file was modified web/entries/XML.shtml
Changeset 7639:d7fcea4b1de9 by kleing:
tweak layout now that css seems to be respected
The file was modified web/front.css
Changeset 7638:1d7fcb87e281 by kleing:
entries are .shtml not .html
The file was modified admin/sitegen-lib/templates/entry.tpl
The file was modified admin/sitegen-lib/templates/topics.tpl
The file was modified web/entries/AODV.shtml
The file was modified web/entries/AVL-Trees.shtml
The file was modified web/entries/AWN.shtml
The file was modified web/entries/Abortable_Linearizable_Modules.shtml
The file was modified web/entries/Abs_Int_ITP2012.shtml
The file was modified web/entries/Abstract-Hoare-Logics.shtml
The file was modified web/entries/Abstract-Rewriting.shtml
The file was modified web/entries/Abstract_Completeness.shtml
The file was modified web/entries/Abstract_Soundness.shtml
The file was modified web/entries/Affine_Arithmetic.shtml
The file was modified web/entries/Akra_Bazzi.shtml
The file was modified web/entries/Algebraic_Numbers.shtml
The file was modified web/entries/Algebraic_VCs.shtml
The file was modified web/entries/Allen_Calculus.shtml
The file was modified web/entries/Amortized_Complexity.shtml
The file was modified web/entries/Applicative_Lifting.shtml
The file was modified web/entries/ArrowImpossibilityGS.shtml
The file was modified web/entries/AutoFocus-Stream.shtml
The file was modified web/entries/Automatic_Refinement.shtml
The file was modified web/entries/BDD.shtml
The file was modified web/entries/Bell_Numbers_Spivey.shtml
The file was modified web/entries/Berlekamp_Zassenhaus.shtml
The file was modified web/entries/Bernoulli.shtml
The file was modified web/entries/Bertrands_Postulate.shtml
The file was modified web/entries/BinarySearchTree.shtml
The file was modified web/entries/Binomial-Heaps.shtml
The file was modified web/entries/Binomial-Queues.shtml
The file was modified web/entries/Bondy.shtml
The file was modified web/entries/Boolean_Expression_Checkers.shtml
The file was modified web/entries/Bounded_Deducibility_Security.shtml
The file was modified web/entries/Buildings.shtml
The file was modified web/entries/BytecodeLogicJmlTypes.shtml
The file was modified web/entries/CAVA_Automata.shtml
The file was modified web/entries/CAVA_LTL_Modelchecker.shtml
The file was modified web/entries/CCS.shtml
The file was modified web/entries/CISC-Kernel.shtml
The file was modified web/entries/CYK.shtml
The file was modified web/entries/Call_Arity.shtml
The file was modified web/entries/Card_Equiv_Relations.shtml
The file was modified web/entries/Card_Multisets.shtml
The file was modified web/entries/Card_Number_Partitions.shtml
The file was modified web/entries/Card_Partitions.shtml
The file was modified web/entries/Cartan_FP.shtml
The file was modified web/entries/Case_Labeling.shtml
The file was modified web/entries/Catalan_Numbers.shtml
The file was modified web/entries/Category.shtml
The file was modified web/entries/Category2.shtml
The file was modified web/entries/Category3.shtml
The file was modified web/entries/Cauchy.shtml
The file was modified web/entries/Cayley_Hamilton.shtml
The file was modified web/entries/Certification_Monads.shtml
The file was modified web/entries/Chord_Segments.shtml
The file was modified web/entries/Circus.shtml
The file was modified web/entries/ClockSynchInst.shtml
The file was modified web/entries/CofGroups.shtml
The file was modified web/entries/Coinductive.shtml
The file was modified web/entries/Coinductive_Languages.shtml
The file was modified web/entries/Collections.shtml
The file was modified web/entries/Compiling-Exceptions-Correctly.shtml
The file was modified web/entries/Completeness.shtml
The file was modified web/entries/Complx.shtml
The file was modified web/entries/ComponentDependencies.shtml
The file was modified web/entries/ConcurrentGC.shtml
The file was modified web/entries/ConcurrentIMP.shtml
The file was modified web/entries/Concurrent_Ref_Alg.shtml
The file was modified web/entries/Consensus_Refined.shtml
The file was modified web/entries/Containers.shtml
The file was modified web/entries/CoreC++.shtml
The file was modified web/entries/CryptoBasedCompositionalProperties.shtml
The file was modified web/entries/DFS_Framework.shtml
The file was modified web/entries/DPT-SAT-Solver.shtml
The file was modified web/entries/DataRefinementIBP.shtml
The file was modified web/entries/Datatype_Order_Generator.shtml
The file was modified web/entries/Decreasing-Diagrams-II.shtml
The file was modified web/entries/Decreasing-Diagrams.shtml
The file was modified web/entries/Deep_Learning.shtml
The file was modified web/entries/Density_Compiler.shtml
The file was modified web/entries/Dependent_SIFUM_Refinement.shtml
The file was modified web/entries/Dependent_SIFUM_Type_Systems.shtml
The file was modified web/entries/Depth-First-Search.shtml
The file was modified web/entries/Derangements.shtml
The file was modified web/entries/Deriving.shtml
The file was modified web/entries/Descartes_Sign_Rule.shtml
The file was modified web/entries/Differential_Dynamic_Logic.shtml
The file was modified web/entries/Dijkstra_Shortest_Path.shtml
The file was modified web/entries/Discrete_Summation.shtml
The file was modified web/entries/DiskPaxos.shtml
The file was modified web/entries/Dynamic_Tables.shtml
The file was modified web/entries/E_Transcendental.shtml
The file was modified web/entries/Echelon_Form.shtml
The file was modified web/entries/EdmondsKarp_Maxflow.shtml
The file was modified web/entries/Efficient-Mergesort.shtml
The file was modified web/entries/Encodability_Process_Calculi.shtml
The file was modified web/entries/Ergodic_Theory.shtml
The file was modified web/entries/Euler_Partition.shtml
The file was modified web/entries/FFT.shtml
The file was modified web/entries/FLP.shtml
The file was modified web/entries/FOL-Fitting.shtml
The file was modified web/entries/FOL_Harrison.shtml
The file was modified web/entries/FeatherweightJava.shtml
The file was modified web/entries/Featherweight_OCL.shtml
The file was modified web/entries/Fermat3_4.shtml
The file was modified web/entries/FileRefinement.shtml
The file was modified web/entries/FinFun.shtml
The file was modified web/entries/Finger-Trees.shtml
The file was modified web/entries/Finite_Automata_HF.shtml
The file was modified web/entries/Fisher_Yates.shtml
The file was modified web/entries/Flyspeck-Tame.shtml
The file was modified web/entries/FocusStreamsCaseStudies.shtml
The file was modified web/entries/Formal_SSA.shtml
The file was modified web/entries/Formula_Derivatives.shtml
The file was modified web/entries/Free-Boolean-Algebra.shtml
The file was modified web/entries/Free-Groups.shtml
The file was modified web/entries/FunWithFunctions.shtml
The file was modified web/entries/FunWithTilings.shtml
The file was modified web/entries/Functional-Automata.shtml
The file was modified web/entries/GPU_Kernel_PL.shtml
The file was modified web/entries/Gabow_SCC.shtml
The file was modified web/entries/Gauss-Jordan-Elim-Fun.shtml
The file was modified web/entries/Gauss_Jordan.shtml
The file was modified web/entries/GenClock.shtml
The file was modified web/entries/General-Triangle.shtml
The file was modified web/entries/Girth_Chromatic.shtml
The file was modified web/entries/GoedelGod.shtml
The file was modified web/entries/GraphMarkingIBP.shtml
The file was modified web/entries/Graph_Theory.shtml
The file was modified web/entries/Groebner_Bases.shtml
The file was modified web/entries/Group-Ring-Module.shtml
The file was modified web/entries/HRB-Slicing.shtml
The file was modified web/entries/Heard_Of.shtml
The file was modified web/entries/HereditarilyFinite.shtml
The file was modified web/entries/Hermite.shtml
The file was modified web/entries/HotelKeyCards.shtml
The file was modified web/entries/Huffman.shtml
The file was modified web/entries/HyperCTL.shtml
The file was modified web/entries/IEEE_Floating_Point.shtml
The file was modified web/entries/IP_Addresses.shtml
The file was modified web/entries/Imperative_Insertion_Sort.shtml
The file was modified web/entries/Impossible_Geometry.shtml
The file was modified web/entries/Incompleteness.shtml
The file was modified web/entries/Incredible_Proof_Machine.shtml
The file was modified web/entries/Inductive_Confidentiality.shtml
The file was modified web/entries/InfPathElimination.shtml
The file was modified web/entries/InformationFlowSlicing.shtml
The file was modified web/entries/InformationFlowSlicing_Inter.shtml
The file was modified web/entries/Integration.shtml
The file was modified web/entries/Iptables_Semantics.shtml
The file was modified web/entries/Isabelle_Meta_Model.shtml
The file was modified web/entries/Jinja.shtml
The file was modified web/entries/JinjaThreads.shtml
The file was modified web/entries/JiveDataStoreModel.shtml
The file was modified web/entries/Jordan_Hoelder.shtml
The file was modified web/entries/Jordan_Normal_Form.shtml
The file was modified web/entries/KAD.shtml
The file was modified web/entries/KAT_and_DRA.shtml
The file was modified web/entries/KBPs.shtml
The file was modified web/entries/Key_Agreement_Strong_Adversaries.shtml
The file was modified web/entries/Kleene_Algebra.shtml
The file was modified web/entries/Knot_Theory.shtml
The file was modified web/entries/Koenigsberg_Friendship.shtml
The file was modified web/entries/LOFT.shtml
The file was modified web/entries/LTL.shtml
The file was modified web/entries/LTL_to_DRA.shtml
The file was modified web/entries/LTL_to_GBA.shtml
The file was modified web/entries/Lam-ml-Normalization.shtml
The file was modified web/entries/Lambda_Free_KBOs.shtml
The file was modified web/entries/Lambda_Free_RPOs.shtml
The file was modified web/entries/Landau_Symbols.shtml
The file was modified web/entries/Latin_Square.shtml
The file was modified web/entries/LatticeProperties.shtml
The file was modified web/entries/Launchbury.shtml
The file was modified web/entries/Lazy-Lists-II.shtml
The file was modified web/entries/Lehmer.shtml
The file was modified web/entries/Lifting_Definition_Option.shtml
The file was modified web/entries/LightweightJava.shtml
The file was modified web/entries/LinearQuantifierElim.shtml
The file was modified web/entries/Liouville_Numbers.shtml
The file was modified web/entries/List-Index.shtml
The file was modified web/entries/List-Infinite.shtml
The file was modified web/entries/List_Interleaving.shtml
The file was modified web/entries/List_Update.shtml
The file was modified web/entries/Locally-Nameless-Sigma.shtml
The file was modified web/entries/Lower_Semicontinuous.shtml
The file was modified web/entries/Lp.shtml
The file was modified web/entries/MFMC_Countable.shtml
The file was modified web/entries/MSO_Regex_Equivalence.shtml
The file was modified web/entries/Markov_Models.shtml
The file was modified web/entries/Marriage.shtml
The file was modified web/entries/Matrix.shtml
The file was modified web/entries/Matrix_Tensor.shtml
The file was modified web/entries/Max-Card-Matching.shtml
The file was modified web/entries/MiniML.shtml
The file was modified web/entries/Minimal_SSA.shtml
The file was modified web/entries/Modal_Logics_for_NTS.shtml
The file was modified web/entries/MonoBoolTranAlgebra.shtml
The file was modified web/entries/MuchAdoAboutTwo.shtml
The file was modified web/entries/Multirelations.shtml
The file was modified web/entries/Myhill-Nerode.shtml
The file was modified web/entries/Nat-Interval-Logic.shtml
The file was modified web/entries/Native_Word.shtml
The file was modified web/entries/Nested_Multisets_Ordinals.shtml
The file was modified web/entries/Network_Security_Policy_Verification.shtml
The file was modified web/entries/No_FTL_observers.shtml
The file was modified web/entries/Nominal2.shtml
The file was modified web/entries/Noninterference_CSP.shtml
The file was modified web/entries/Noninterference_Concurrent_Composition.shtml
The file was modified web/entries/Noninterference_Generic_Unwinding.shtml
The file was modified web/entries/Noninterference_Inductive_Unwinding.shtml
The file was modified web/entries/Noninterference_Ipurge_Unwinding.shtml
The file was modified web/entries/Noninterference_Sequential_Composition.shtml
The file was modified web/entries/NormByEval.shtml
The file was modified web/entries/Open_Induction.shtml
The file was modified web/entries/Ordinal.shtml
The file was modified web/entries/Ordinals_and_Cardinals.shtml
The file was modified web/entries/Ordinary_Differential_Equations.shtml
The file was modified web/entries/PCF.shtml
The file was modified web/entries/POPLmark-deBruijn.shtml
The file was modified web/entries/Pairing_Heap.shtml
The file was modified web/entries/Paraconsistency.shtml
The file was modified web/entries/Parity_Game.shtml
The file was modified web/entries/Partial_Function_MR.shtml
The file was modified web/entries/Password_Authentication_Protocol.shtml
The file was modified web/entries/Perfect-Number-Thm.shtml
The file was modified web/entries/Perron_Frobenius.shtml
The file was modified web/entries/Pi_Calculus.shtml
The file was modified web/entries/Planarity_Certificates.shtml
The file was modified web/entries/Polynomial_Factorization.shtml
The file was modified web/entries/Polynomial_Interpolation.shtml
The file was modified web/entries/Polynomials.shtml
The file was modified web/entries/Pop_Refinement.shtml
The file was modified web/entries/Posix-Lexing.shtml
The file was modified web/entries/Possibilistic_Noninterference.shtml
The file was modified web/entries/Pratt_Certificate.shtml
The file was modified web/entries/Presburger-Automata.shtml
The file was modified web/entries/Prime_Harmonic_Series.shtml
The file was modified web/entries/Priority_Queue_Braun.shtml
The file was modified web/entries/Probabilistic_Noninterference.shtml
The file was modified web/entries/Probabilistic_System_Zoo.shtml
The file was modified web/entries/Program-Conflict-Analysis.shtml
The file was modified web/entries/Promela.shtml
The file was modified web/entries/Proof_Strategy_Language.shtml
The file was modified web/entries/PropResPI.shtml
The file was modified web/entries/PseudoHoops.shtml
The file was modified web/entries/Psi_Calculi.shtml
The file was modified web/entries/Ptolemys_Theorem.shtml
The file was modified web/entries/QR_Decomposition.shtml
The file was modified web/entries/RIPEMD-160-SPARK.shtml
The file was modified web/entries/ROBDD.shtml
The file was modified web/entries/RSAPSS.shtml
The file was modified web/entries/Ramsey-Infinite.shtml
The file was modified web/entries/Random_Graph_Subgraph_Threshold.shtml
The file was modified web/entries/Randomised_Social_Choice.shtml
The file was modified web/entries/Rank_Nullity_Theorem.shtml
The file was modified web/entries/Real_Impl.shtml
The file was modified web/entries/Recursion-Theory-I.shtml
The file was modified web/entries/Refine_Imperative_HOL.shtml
The file was modified web/entries/Refine_Monadic.shtml
The file was modified web/entries/RefinementReactive.shtml
The file was modified web/entries/Regex_Equivalence.shtml
The file was modified web/entries/Regular-Sets.shtml
The file was modified web/entries/Regular_Algebras.shtml
The file was modified web/entries/Relation_Algebra.shtml
The file was modified web/entries/Rep_Fin_Groups.shtml
The file was modified web/entries/Residuated_Lattices.shtml
The file was modified web/entries/Resolution_FOL.shtml
The file was modified web/entries/Rewriting_Z.shtml
The file was modified web/entries/Ribbon_Proofs.shtml
The file was modified web/entries/Robbins-Conjecture.shtml
The file was modified web/entries/Routing.shtml
The file was modified web/entries/Roy_Floyd_Warshall.shtml
The file was modified web/entries/SATSolverVerification.shtml
The file was modified web/entries/SDS_Impossibility.shtml
The file was modified web/entries/SIFPL.shtml
The file was modified web/entries/SIFUM_Type_Systems.shtml
The file was modified web/entries/SPARCv8.shtml
The file was modified web/entries/Secondary_Sylow.shtml
The file was modified web/entries/Selection_Heap_Sort.shtml
The file was modified web/entries/SenSocialChoice.shtml
The file was modified web/entries/Separata.shtml
The file was modified web/entries/Separation_Algebra.shtml
The file was modified web/entries/Separation_Logic_Imperative_HOL.shtml
The file was modified web/entries/SequentInvertibility.shtml
The file was modified web/entries/Shivers-CFA.shtml
The file was modified web/entries/ShortestPath.shtml
The file was modified web/entries/Show.shtml
The file was modified web/entries/Simpl.shtml
The file was modified web/entries/Simple_Firewall.shtml
The file was modified web/entries/Skew_Heap.shtml
The file was modified web/entries/Slicing.shtml
The file was modified web/entries/Sort_Encodings.shtml
The file was modified web/entries/Source_Coding_Theorem.shtml
The file was modified web/entries/Special_Function_Bounds.shtml
The file was modified web/entries/Splay_Tree.shtml
The file was modified web/entries/Sqrt_Babylonian.shtml
The file was modified web/entries/Stable_Matching.shtml
The file was modified web/entries/Statecharts.shtml
The file was modified web/entries/Stern_Brocot.shtml
The file was modified web/entries/Stirling_Formula.shtml
The file was modified web/entries/Stone_Algebras.shtml
The file was modified web/entries/Stone_Relation_Algebras.shtml
The file was modified web/entries/Stream-Fusion.shtml
The file was modified web/entries/Stream_Fusion_Code.shtml
The file was modified web/entries/Strong_Security.shtml
The file was modified web/entries/Sturm_Sequences.shtml
The file was modified web/entries/Sturm_Tarski.shtml
The file was modified web/entries/Stuttering_Equivalence.shtml
The file was modified web/entries/SumSquares.shtml
The file was modified web/entries/SuperCalc.shtml
The file was modified web/entries/Surprise_Paradox.shtml
The file was modified web/entries/TLA.shtml
The file was modified web/entries/Tail_Recursive_Functions.shtml
The file was modified web/entries/Tarskis_Geometry.shtml
The file was modified web/entries/Timed_Automata.shtml
The file was modified web/entries/Topology.shtml
The file was modified web/entries/TortoiseHare.shtml
The file was modified web/entries/Transitive-Closure-II.shtml
The file was modified web/entries/Transitive-Closure.shtml
The file was modified web/entries/Tree-Automata.shtml
The file was modified web/entries/Tree_Decomposition.shtml
The file was modified web/entries/Triangle.shtml
The file was modified web/entries/Trie.shtml
The file was modified web/entries/Twelvefold_Way.shtml
The file was modified web/entries/Tycon.shtml
The file was modified web/entries/UPF.shtml
The file was modified web/entries/UPF_Firewall.shtml
The file was modified web/entries/UpDown_Scheme.shtml
The file was modified web/entries/Valuation.shtml
The file was modified web/entries/VectorSpace.shtml
The file was modified web/entries/Verified-Prover.shtml
The file was modified web/entries/Vickrey_Clarke_Groves.shtml
The file was modified web/entries/VolpanoSmith.shtml
The file was modified web/entries/WHATandWHERE_Security.shtml
The file was modified web/entries/Well_Quasi_Orders.shtml
The file was modified web/entries/Word_Lib.shtml
The file was modified web/entries/WorkerWrapper.shtml
The file was modified web/entries/XML.shtml
The file was modified web/entries/pGCL.shtml
The file was modified web/topics.shtml
Changeset 7637:d675696aaf4d by kleing:
regenerate website
The file was addedweb/rss.xml
The file was modified web/entries/AODV.shtml
The file was modified web/entries/AVL-Trees.shtml
The file was modified web/entries/AWN.shtml
The file was modified web/entries/Abortable_Linearizable_Modules.shtml
The file was modified web/entries/Abs_Int_ITP2012.shtml
The file was modified web/entries/Abstract-Hoare-Logics.shtml
The file was modified web/entries/Abstract-Rewriting.shtml
The file was modified web/entries/Abstract_Completeness.shtml
The file was modified web/entries/Abstract_Soundness.shtml
The file was modified web/entries/Affine_Arithmetic.shtml
The file was modified web/entries/Akra_Bazzi.shtml
The file was modified web/entries/Algebraic_Numbers.shtml
The file was modified web/entries/Algebraic_VCs.shtml
The file was modified web/entries/Allen_Calculus.shtml
The file was modified web/entries/Amortized_Complexity.shtml
The file was modified web/entries/Applicative_Lifting.shtml
The file was modified web/entries/ArrowImpossibilityGS.shtml
The file was modified web/entries/AutoFocus-Stream.shtml
The file was modified web/entries/Automatic_Refinement.shtml
The file was modified web/entries/BDD.shtml
The file was modified web/entries/Bell_Numbers_Spivey.shtml
The file was modified web/entries/Berlekamp_Zassenhaus.shtml
The file was modified web/entries/Bernoulli.shtml
The file was modified web/entries/Bertrands_Postulate.shtml
The file was modified web/entries/BinarySearchTree.shtml
The file was modified web/entries/Binomial-Heaps.shtml
The file was modified web/entries/Binomial-Queues.shtml
The file was modified web/entries/Bondy.shtml
The file was modified web/entries/Boolean_Expression_Checkers.shtml
The file was modified web/entries/Bounded_Deducibility_Security.shtml
The file was modified web/entries/Buildings.shtml
The file was modified web/entries/BytecodeLogicJmlTypes.shtml
The file was modified web/entries/CAVA_Automata.shtml
The file was modified web/entries/CAVA_LTL_Modelchecker.shtml
The file was modified web/entries/CCS.shtml
The file was modified web/entries/CISC-Kernel.shtml
The file was modified web/entries/CYK.shtml
The file was modified web/entries/Call_Arity.shtml
The file was modified web/entries/Card_Equiv_Relations.shtml
The file was modified web/entries/Card_Multisets.shtml
The file was modified web/entries/Card_Number_Partitions.shtml
The file was modified web/entries/Card_Partitions.shtml
The file was modified web/entries/Cartan_FP.shtml
The file was modified web/entries/Case_Labeling.shtml
The file was modified web/entries/Catalan_Numbers.shtml
The file was modified web/entries/Category.shtml
The file was modified web/entries/Category2.shtml
The file was modified web/entries/Category3.shtml
The file was modified web/entries/Cauchy.shtml
The file was modified web/entries/Cayley_Hamilton.shtml
The file was modified web/entries/Certification_Monads.shtml
The file was modified web/entries/Chord_Segments.shtml
The file was modified web/entries/Circus.shtml
The file was modified web/entries/ClockSynchInst.shtml
The file was modified web/entries/CofGroups.shtml
The file was modified web/entries/Coinductive.shtml
The file was modified web/entries/Coinductive_Languages.shtml
The file was modified web/entries/Collections.shtml
The file was modified web/entries/Compiling-Exceptions-Correctly.shtml
The file was modified web/entries/Completeness.shtml
The file was modified web/entries/Complx.shtml
The file was modified web/entries/ComponentDependencies.shtml
The file was modified web/entries/ConcurrentGC.shtml
The file was modified web/entries/ConcurrentIMP.shtml
The file was modified web/entries/Concurrent_Ref_Alg.shtml
The file was modified web/entries/Consensus_Refined.shtml
The file was modified web/entries/Containers.shtml
The file was modified web/entries/CoreC++.shtml
The file was modified web/entries/CryptoBasedCompositionalProperties.shtml
The file was modified web/entries/DFS_Framework.shtml
The file was modified web/entries/DPT-SAT-Solver.shtml
The file was modified web/entries/DataRefinementIBP.shtml
The file was modified web/entries/Datatype_Order_Generator.shtml
The file was modified web/entries/Decreasing-Diagrams-II.shtml
The file was modified web/entries/Decreasing-Diagrams.shtml
The file was modified web/entries/Deep_Learning.shtml
The file was modified web/entries/Density_Compiler.shtml
The file was modified web/entries/Dependent_SIFUM_Refinement.shtml
The file was modified web/entries/Dependent_SIFUM_Type_Systems.shtml
The file was modified web/entries/Depth-First-Search.shtml
The file was modified web/entries/Derangements.shtml
The file was modified web/entries/Deriving.shtml
The file was modified web/entries/Descartes_Sign_Rule.shtml
The file was modified web/entries/Differential_Dynamic_Logic.shtml
The file was modified web/entries/Dijkstra_Shortest_Path.shtml
The file was modified web/entries/Discrete_Summation.shtml
The file was modified web/entries/DiskPaxos.shtml
The file was modified web/entries/Dynamic_Tables.shtml
The file was modified web/entries/E_Transcendental.shtml
The file was modified web/entries/Echelon_Form.shtml
The file was modified web/entries/EdmondsKarp_Maxflow.shtml
The file was modified web/entries/Efficient-Mergesort.shtml
The file was modified web/entries/Encodability_Process_Calculi.shtml
The file was modified web/entries/Ergodic_Theory.shtml
The file was modified web/entries/Euler_Partition.shtml
The file was modified web/entries/FFT.shtml
The file was modified web/entries/FLP.shtml
The file was modified web/entries/FOL-Fitting.shtml
The file was modified web/entries/FOL_Harrison.shtml
The file was modified web/entries/FeatherweightJava.shtml
The file was modified web/entries/Featherweight_OCL.shtml
The file was modified web/entries/Fermat3_4.shtml
The file was modified web/entries/FileRefinement.shtml
The file was modified web/entries/FinFun.shtml
The file was modified web/entries/Finger-Trees.shtml
The file was modified web/entries/Finite_Automata_HF.shtml
The file was modified web/entries/Fisher_Yates.shtml
The file was modified web/entries/Flyspeck-Tame.shtml
The file was modified web/entries/FocusStreamsCaseStudies.shtml
The file was modified web/entries/Formal_SSA.shtml
The file was modified web/entries/Formula_Derivatives.shtml
The file was modified web/entries/Free-Boolean-Algebra.shtml
The file was modified web/entries/Free-Groups.shtml
The file was modified web/entries/FunWithFunctions.shtml
The file was modified web/entries/FunWithTilings.shtml
The file was modified web/entries/Functional-Automata.shtml
The file was modified web/entries/GPU_Kernel_PL.shtml
The file was modified web/entries/Gabow_SCC.shtml
The file was modified web/entries/Gauss-Jordan-Elim-Fun.shtml
The file was modified web/entries/Gauss_Jordan.shtml
The file was modified web/entries/GenClock.shtml
The file was modified web/entries/General-Triangle.shtml
The file was modified web/entries/Girth_Chromatic.shtml
The file was modified web/entries/GoedelGod.shtml
The file was modified web/entries/GraphMarkingIBP.shtml
The file was modified web/entries/Graph_Theory.shtml
The file was modified web/entries/Groebner_Bases.shtml
The file was modified web/entries/Group-Ring-Module.shtml
The file was modified web/entries/HRB-Slicing.shtml
The file was modified web/entries/Heard_Of.shtml
The file was modified web/entries/HereditarilyFinite.shtml
The file was modified web/entries/Hermite.shtml
The file was modified web/entries/HotelKeyCards.shtml
The file was modified web/entries/Huffman.shtml
The file was modified web/entries/HyperCTL.shtml
The file was modified web/entries/IEEE_Floating_Point.shtml
The file was modified web/entries/IP_Addresses.shtml
The file was modified web/entries/Imperative_Insertion_Sort.shtml
The file was modified web/entries/Impossible_Geometry.shtml
The file was modified web/entries/Incompleteness.shtml
The file was modified web/entries/Incredible_Proof_Machine.shtml
The file was modified web/entries/Inductive_Confidentiality.shtml
The file was modified web/entries/InfPathElimination.shtml
The file was modified web/entries/InformationFlowSlicing.shtml
The file was modified web/entries/InformationFlowSlicing_Inter.shtml
The file was modified web/entries/Integration.shtml
The file was modified web/entries/Iptables_Semantics.shtml
The file was modified web/entries/Isabelle_Meta_Model.shtml
The file was modified web/entries/Jinja.shtml
The file was modified web/entries/JinjaThreads.shtml
The file was modified web/entries/JiveDataStoreModel.shtml
The file was modified web/entries/Jordan_Hoelder.shtml
The file was modified web/entries/Jordan_Normal_Form.shtml
The file was modified web/entries/KAD.shtml
The file was modified web/entries/KAT_and_DRA.shtml
The file was modified web/entries/KBPs.shtml
The file was modified web/entries/Key_Agreement_Strong_Adversaries.shtml
The file was modified web/entries/Kleene_Algebra.shtml
The file was modified web/entries/Knot_Theory.shtml
The file was modified web/entries/Koenigsberg_Friendship.shtml
The file was modified web/entries/LOFT.shtml
The file was modified web/entries/LTL.shtml
The file was modified web/entries/LTL_to_DRA.shtml
The file was modified web/entries/LTL_to_GBA.shtml
The file was modified web/entries/Lam-ml-Normalization.shtml
The file was modified web/entries/Lambda_Free_KBOs.shtml
The file was modified web/entries/Lambda_Free_RPOs.shtml
The file was modified web/entries/Landau_Symbols.shtml
The file was modified web/entries/Latin_Square.shtml
The file was modified web/entries/LatticeProperties.shtml
The file was modified web/entries/Launchbury.shtml
The file was modified web/entries/Lazy-Lists-II.shtml
The file was modified web/entries/Lehmer.shtml
The file was modified web/entries/Lifting_Definition_Option.shtml
The file was modified web/entries/LightweightJava.shtml
The file was modified web/entries/LinearQuantifierElim.shtml
The file was modified web/entries/Liouville_Numbers.shtml
The file was modified web/entries/List-Index.shtml
The file was modified web/entries/List-Infinite.shtml
The file was modified web/entries/List_Interleaving.shtml
The file was modified web/entries/List_Update.shtml
The file was modified web/entries/Locally-Nameless-Sigma.shtml
The file was modified web/entries/Lower_Semicontinuous.shtml
The file was modified web/entries/Lp.shtml
The file was modified web/entries/MFMC_Countable.shtml
The file was modified web/entries/MSO_Regex_Equivalence.shtml
The file was modified web/entries/Markov_Models.shtml
The file was modified web/entries/Marriage.shtml
The file was modified web/entries/Matrix.shtml
The file was modified web/entries/Matrix_Tensor.shtml
The file was modified web/entries/Max-Card-Matching.shtml
The file was modified web/entries/MiniML.shtml
The file was modified web/entries/Minimal_SSA.shtml
The file was modified web/entries/Modal_Logics_for_NTS.shtml
The file was modified web/entries/MonoBoolTranAlgebra.shtml
The file was modified web/entries/MuchAdoAboutTwo.shtml
The file was modified web/entries/Multirelations.shtml
The file was modified web/entries/Myhill-Nerode.shtml
The file was modified web/entries/Nat-Interval-Logic.shtml
The file was modified web/entries/Native_Word.shtml
The file was modified web/entries/Nested_Multisets_Ordinals.shtml
The file was modified web/entries/Network_Security_Policy_Verification.shtml
The file was modified web/entries/No_FTL_observers.shtml
The file was modified web/entries/Nominal2.shtml
The file was modified web/entries/Noninterference_CSP.shtml
The file was modified web/entries/Noninterference_Concurrent_Composition.shtml
The file was modified web/entries/Noninterference_Generic_Unwinding.shtml
The file was modified web/entries/Noninterference_Inductive_Unwinding.shtml
The file was modified web/entries/Noninterference_Ipurge_Unwinding.shtml
The file was modified web/entries/Noninterference_Sequential_Composition.shtml
The file was modified web/entries/NormByEval.shtml
The file was modified web/entries/Open_Induction.shtml
The file was modified web/entries/Ordinal.shtml
The file was modified web/entries/Ordinals_and_Cardinals.shtml
The file was modified web/entries/Ordinary_Differential_Equations.shtml
The file was modified web/entries/PCF.shtml
The file was modified web/entries/POPLmark-deBruijn.shtml
The file was modified web/entries/Pairing_Heap.shtml
The file was modified web/entries/Paraconsistency.shtml
The file was modified web/entries/Parity_Game.shtml
The file was modified web/entries/Partial_Function_MR.shtml
The file was modified web/entries/Password_Authentication_Protocol.shtml
The file was modified web/entries/Perfect-Number-Thm.shtml
The file was modified web/entries/Perron_Frobenius.shtml
The file was modified web/entries/Pi_Calculus.shtml
The file was modified web/entries/Planarity_Certificates.shtml
The file was modified web/entries/Polynomial_Factorization.shtml
The file was modified web/entries/Polynomial_Interpolation.shtml
The file was modified web/entries/Polynomials.shtml
The file was modified web/entries/Pop_Refinement.shtml
The file was modified web/entries/Posix-Lexing.shtml
The file was modified web/entries/Possibilistic_Noninterference.shtml
The file was modified web/entries/Pratt_Certificate.shtml
The file was modified web/entries/Presburger-Automata.shtml
The file was modified web/entries/Prime_Harmonic_Series.shtml
The file was modified web/entries/Priority_Queue_Braun.shtml
The file was modified web/entries/Probabilistic_Noninterference.shtml
The file was modified web/entries/Probabilistic_System_Zoo.shtml
The file was modified web/entries/Program-Conflict-Analysis.shtml
The file was modified web/entries/Promela.shtml
The file was modified web/entries/Proof_Strategy_Language.shtml
The file was modified web/entries/PropResPI.shtml
The file was modified web/entries/PseudoHoops.shtml
The file was modified web/entries/Psi_Calculi.shtml
The file was modified web/entries/Ptolemys_Theorem.shtml
The file was modified web/entries/QR_Decomposition.shtml
The file was modified web/entries/RIPEMD-160-SPARK.shtml
The file was modified web/entries/ROBDD.shtml
The file was modified web/entries/RSAPSS.shtml
The file was modified web/entries/Ramsey-Infinite.shtml
The file was modified web/entries/Random_Graph_Subgraph_Threshold.shtml
The file was modified web/entries/Randomised_Social_Choice.shtml
The file was modified web/entries/Rank_Nullity_Theorem.shtml
The file was modified web/entries/Real_Impl.shtml
The file was modified web/entries/Recursion-Theory-I.shtml
The file was modified web/entries/Refine_Imperative_HOL.shtml
The file was modified web/entries/Refine_Monadic.shtml
The file was modified web/entries/RefinementReactive.shtml
The file was modified web/entries/Regex_Equivalence.shtml
The file was modified web/entries/Regular-Sets.shtml
The file was modified web/entries/Regular_Algebras.shtml
The file was modified web/entries/Relation_Algebra.shtml
The file was modified web/entries/Rep_Fin_Groups.shtml
The file was modified web/entries/Residuated_Lattices.shtml
The file was modified web/entries/Resolution_FOL.shtml
The file was modified web/entries/Rewriting_Z.shtml
The file was modified web/entries/Ribbon_Proofs.shtml
The file was modified web/entries/Robbins-Conjecture.shtml
The file was modified web/entries/Routing.shtml
The file was modified web/entries/Roy_Floyd_Warshall.shtml
The file was modified web/entries/SATSolverVerification.shtml
The file was modified web/entries/SDS_Impossibility.shtml
The file was modified web/entries/SIFPL.shtml
The file was modified web/entries/SIFUM_Type_Systems.shtml
The file was modified web/entries/SPARCv8.shtml
The file was modified web/entries/Secondary_Sylow.shtml
The file was modified web/entries/Selection_Heap_Sort.shtml
The file was modified web/entries/SenSocialChoice.shtml
The file was modified web/entries/Separata.shtml
The file was modified web/entries/Separation_Algebra.shtml
The file was modified web/entries/Separation_Logic_Imperative_HOL.shtml
The file was modified web/entries/SequentInvertibility.shtml
The file was modified web/entries/Shivers-CFA.shtml
The file was modified web/entries/ShortestPath.shtml
The file was modified web/entries/Show.shtml
The file was modified web/entries/Simpl.shtml
The file was modified web/entries/Simple_Firewall.shtml
The file was modified web/entries/Skew_Heap.shtml
The file was modified web/entries/Slicing.shtml
The file was modified web/entries/Sort_Encodings.shtml
The file was modified web/entries/Source_Coding_Theorem.shtml
The file was modified web/entries/Special_Function_Bounds.shtml
The file was modified web/entries/Splay_Tree.shtml
The file was modified web/entries/Sqrt_Babylonian.shtml
The file was modified web/entries/Stable_Matching.shtml
The file was modified web/entries/Statecharts.shtml
The file was modified web/entries/Stern_Brocot.shtml
The file was modified web/entries/Stirling_Formula.shtml
The file was modified web/entries/Stone_Algebras.shtml
The file was modified web/entries/Stone_Relation_Algebras.shtml
The file was modified web/entries/Stream-Fusion.shtml
The file was modified web/entries/Stream_Fusion_Code.shtml
The file was modified web/entries/Strong_Security.shtml
The file was modified web/entries/Sturm_Sequences.shtml
The file was modified web/entries/Sturm_Tarski.shtml
The file was modified web/entries/Stuttering_Equivalence.shtml
The file was modified web/entries/SumSquares.shtml
The file was modified web/entries/SuperCalc.shtml
The file was modified web/entries/Surprise_Paradox.shtml
The file was modified web/entries/TLA.shtml
The file was modified web/entries/Tail_Recursive_Functions.shtml
The file was modified web/entries/Tarskis_Geometry.shtml
The file was modified web/entries/Timed_Automata.shtml
The file was modified web/entries/Topology.shtml
The file was modified web/entries/TortoiseHare.shtml
The file was modified web/entries/Transitive-Closure-II.shtml
The file was modified web/entries/Transitive-Closure.shtml
The file was modified web/entries/Tree-Automata.shtml
The file was modified web/entries/Tree_Decomposition.shtml
The file was modified web/entries/Triangle.shtml
The file was modified web/entries/Trie.shtml
The file was modified web/entries/Twelvefold_Way.shtml
The file was modified web/entries/Tycon.shtml
The file was modified web/entries/UPF.shtml
The file was modified web/entries/UPF_Firewall.shtml
The file was modified web/entries/UpDown_Scheme.shtml
The file was modified web/entries/Valuation.shtml
The file was modified web/entries/VectorSpace.shtml
The file was modified web/entries/Verified-Prover.shtml
The file was modified web/entries/Vickrey_Clarke_Groves.shtml
The file was modified web/entries/VolpanoSmith.shtml
The file was modified web/entries/WHATandWHERE_Security.shtml
The file was modified web/entries/Well_Quasi_Orders.shtml
The file was modified web/entries/Word_Lib.shtml
The file was modified web/entries/WorkerWrapper.shtml
The file was modified web/entries/XML.shtml
The file was modified web/entries/pGCL.shtml
The file was modified web/index.shtml
The file was modified web/statistics.shtml
The file was modified web/topics.shtml
Changeset 7636:9788ed0d2f40 by gerwin klein _gerwin@doclsf.de_:
Merged in ammerbauer/afp-2016-1 (pull request #1)<br><br>Create webpage with Jinja2 template engine
The file was modified admin/sitegen-lib/sitegen.py
The file was modified admin/sitegen-lib/templates.py
The file was modified admin/sitegen-lib/terminal.py
Changeset 7634:43458319e5e7 by lars hupel _lars.hupel@mytum.de_:
macOS: prefer system Python
The file was modified admin/sitegen
Changeset 7633:c7b3124ea55a by lars hupel _lars.hupel@mytum.de_:
BSD/macOS compatibility
The file was modified admin/sitegen
Changeset 7632:c6175d6708b5 by lars hupel _lars.hupel@mytum.de_:
managed Python environment
The file was addedadmin/sitegen-req.txt
The file was modified .hgignore
The file was modified admin/sitegen
The file was removedadmin/sitegen-lib/termcolor.py
The file was addedadmin/sitegen-lib/templates/rss.tpl
The file was modified admin/sitegen-lib/afpstats.py
The file was modified admin/sitegen-lib/sitegen.py
The file was modified admin/sitegen-lib/templates.py
The file was modified admin/sitegen-lib/templates/base.tpl
Changeset 7630:b3628bb6d51d by max "ammerbauer" haslbeck _max.haslbeck@gmx.de_:
Remove superfluous import
The file was modified admin/sitegen-lib/sitegen.py
Changeset 7629:c65f4d83871a by max "ammerbauer" haslbeck _max.haslbeck@gmx.de_:
Create webpage with Jinja2 template engine
The file was addedadmin/sitegen-lib/templates/base.tpl
The file was addedadmin/sitegen-lib/templates/download.tpl
The file was addedadmin/sitegen-lib/templates/entry.tpl
The file was addedadmin/sitegen-lib/templates/index.tpl
The file was addedadmin/sitegen-lib/templates/statistics.tpl
The file was addedadmin/sitegen-lib/templates/status.tpl
The file was addedadmin/sitegen-lib/templates/topics.tpl
The file was modified admin/publish
The file was modified admin/sitegen-lib/afpstats.py
The file was modified admin/sitegen-lib/config.py
The file was modified admin/sitegen-lib/sitegen.py
The file was modified admin/sitegen-lib/templates.py
The file was removedmetadata/download.tpl
The file was removedmetadata/entry.tpl
The file was removedmetadata/index.tpl
The file was removedmetadata/statistics.tpl
The file was removedmetadata/status.tpl
The file was removedmetadata/topics.tpl

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. cancellation simprocs generalising the multiset simprocs
  2. adding simplification patterns to multiset simprocs
  3. renaming multiset simprocs
Changeset 65029:00731700e54f by fleury _mathias.fleury@mpi-inf.mpg.de_:
cancellation simprocs generalising the multiset simprocs
The file was addedsrc/HOL/Library/Cancellation.thy
The file was addedsrc/HOL/Library/Cancellation/cancel.ML
The file was addedsrc/HOL/Library/Cancellation/cancel_data.ML
The file was addedsrc/HOL/Library/Cancellation/cancel_simprocs.ML
The file was modified src/HOL/Library/Multiset.thy
The file was modified src/HOL/Library/multiset_order_simprocs.ML
The file was modified src/HOL/Library/multiset_simprocs.ML
The file was removedsrc/HOL/Library/multiset_simprocs_util.ML
Changeset 65028:87e003397834 by fleury _mathias.fleury@mpi-inf.mpg.de_:
adding simplification patterns to multiset simprocs
The file was modified src/HOL/Library/Multiset_Order.thy
Changeset 65027:2b8583507891 by fleury _mathias.fleury@mpi-inf.mpg.de_:
renaming multiset simprocs
The file was modified NEWS
The file was modified src/HOL/Library/Multiset.thy
The file was modified src/HOL/Library/Multiset_Order.thy