Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. merge from afp-2021-1
  2. new entry Undirected_Graph_Theory
  3. typo
  4. typo
  5. New entry: Maximum_Segment_Sum
  6. regenerate site;
  7. added topic for data management systems;
  8. added missing file
  9. New entry Safe_Range_RC
Changeset 13066:6100f6dbbfed by gerwin klein _kleing@unsw.edu.au_:
merge from afp-2021-1
Changeset 13065:2482f4650245 by gerwin klein _kleing@unsw.edu.au_:
new entry Undirected_Graph_Theory
The file was addedmetadata/entries/Undirected_Graph_Theory.toml
The file was addedthys/Undirected_Graph_Theory/Bipartite_Graphs.thy
The file was addedthys/Undirected_Graph_Theory/Connectivity.thy
The file was addedthys/Undirected_Graph_Theory/Girth_Independence.thy
The file was addedthys/Undirected_Graph_Theory/Graph_Theory_Relations.thy
The file was addedthys/Undirected_Graph_Theory/Graph_Triangles.thy
The file was addedthys/Undirected_Graph_Theory/ROOT
The file was addedthys/Undirected_Graph_Theory/Undirected_Graph_Basics.thy
The file was addedthys/Undirected_Graph_Theory/Undirected_Graph_Walks.thy
The file was addedthys/Undirected_Graph_Theory/Undirected_Graphs_Root.thy
The file was addedthys/Undirected_Graph_Theory/document/root.bib
The file was addedthys/Undirected_Graph_Theory/document/root.log
The file was addedthys/Undirected_Graph_Theory/document/root.tex
The file was addedweb/entries/Undirected_Graph_Theory.html
The file was addedweb/theories/undirected_graph_theory/index.html
The file was modified thys/ROOTS
The file was modified web/authors/edmonds/index.html
The file was modified web/authors/edmonds/index.xml
The file was modified web/data/keywords.json
The file was modified web/dependencies/design_theory/index.html
The file was modified web/dependencies/design_theory/index.xml
The file was modified web/dependencies/girth_chromatic/index.html
The file was modified web/dependencies/girth_chromatic/index.xml
The file was modified web/dependencies/index.html
The file was modified web/entries/Design_Theory.html
The file was modified web/entries/Girth_Chromatic.html
The file was modified web/entries/index.html
The file was modified web/entries/index.xml
The file was modified web/index.html
The file was modified web/index.json
The file was modified web/index.xml
The file was modified web/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/theories/index.xml
The file was modified web/topics/index.html
The file was modified web/topics/mathematics/graph-theory/index.html
The file was modified web/topics/mathematics/graph-theory/index.xml
Changeset 13064:21836ba5b3e6 by nipkow:
typo
The file was modified web/authors/cremer/index.html
The file was modified web/authors/cremer/index.xml
The file was modified web/entries/Equivalence_Relation_Enumeration.html
The file was modified web/entries/Maximum_Segment_Sum.html
The file was modified web/entries/index.html
The file was modified web/entries/index.xml
The file was modified web/index.html
The file was modified web/index.json
The file was modified web/index.xml
The file was modified web/topics/computer-science/algorithms/index.html
The file was modified web/topics/computer-science/algorithms/index.xml
Changeset 13063:8dd014d07166 by nipkow:
typo
The file was modified metadata/entries/Maximum_Segment_Sum.toml
Changeset 13062:a791f4f48a75 by nipkow:
New entry: Maximum_Segment_Sum
The file was addedmetadata/entries/Maximum_Segment_Sum.toml
The file was addedthys/Maximum_Segment_Sum/Maximum_Segment_Sum.thy
The file was addedthys/Maximum_Segment_Sum/ROOT
The file was addedthys/Maximum_Segment_Sum/document/root.bib
The file was addedthys/Maximum_Segment_Sum/document/root.tex
The file was addedweb/authors/cremer/index.html
The file was addedweb/authors/cremer/index.xml
The file was addedweb/entries/Maximum_Segment_Sum.html
The file was addedweb/theories/maximum_segment_sum/index.html
The file was modified metadata/authors.toml
The file was modified thys/ROOTS
The file was modified web/authors/index.html
The file was modified web/authors/index.json
The file was modified web/data/keywords.json
The file was modified web/entries/Equivalence_Relation_Enumeration.html
The file was modified web/entries/index.html
The file was modified web/entries/index.xml
The file was modified web/index.html
The file was modified web/index.json
The file was modified web/index.xml
The file was modified web/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/theories/index.xml
The file was modified web/topics/computer-science/algorithms/index.html
The file was modified web/topics/computer-science/algorithms/index.xml
The file was modified web/topics/index.html
Changeset 13061:549a8c591678 by fabian huch _huch@in.tum.de_:
regenerate site;
The file was addedweb/topics/computer-science/data-management-systems/index.html
The file was addedweb/topics/computer-science/data-management-systems/index.xml
The file was modified web/entries/BTree.html
The file was modified web/entries/Eval_FO.html
The file was modified web/entries/Generic_Join.html
The file was modified web/entries/Safe_Range_RC.html
The file was modified web/index.json
The file was modified web/sitemap.xml
The file was modified web/topics/index.html
The file was modified web/topics/index.json
Changeset 13060:811ba4df645d by fabian huch _huch@in.tum.de_:
added topic for data management systems;
The file was modified metadata/entries/BTree.toml
The file was modified metadata/entries/Eval_FO.toml
The file was modified metadata/entries/Generic_Join.toml
The file was modified metadata/entries/Safe_Range_RC.toml
The file was modified metadata/topics.toml
Changeset 13059:25d277910e1a by nipkow:
added missing file
The file was addedweb/theories/safe_range_rc/index.html
Changeset 13058:d4348f7b41ae by nipkow:
New entry Safe_Range_RC
The file was addedmetadata/entries/Safe_Range_RC.toml
The file was addedthys/Safe_Range_RC/Examples.thy
The file was addedthys/Safe_Range_RC/Preliminaries.thy
The file was addedthys/Safe_Range_RC/ROOT
The file was addedthys/Safe_Range_RC/Relational_Calculus.thy
The file was addedthys/Safe_Range_RC/Restrict_Bounds.thy
The file was addedthys/Safe_Range_RC/Restrict_Bounds_Impl.thy
The file was addedthys/Safe_Range_RC/Restrict_Frees.thy
The file was addedthys/Safe_Range_RC/Restrict_Frees_Impl.thy
The file was addedthys/Safe_Range_RC/Results.thy
The file was addedthys/Safe_Range_RC/document/root.bib
The file was addedthys/Safe_Range_RC/document/root.tex
The file was addedweb/entries/Safe_Range_RC.html
The file was modified thys/ROOTS
The file was modified web/authors/raszyk/index.html
The file was modified web/authors/raszyk/index.xml
The file was modified web/authors/traytel/index.html
The file was modified web/authors/traytel/index.xml
The file was modified web/data/keywords.json
The file was modified web/dependencies/collections/index.html
The file was modified web/dependencies/collections/index.xml
The file was modified web/dependencies/deriving/index.html
The file was modified web/dependencies/deriving/index.xml
The file was modified web/dependencies/index.html
The file was modified web/dependencies/list-index/index.html
The file was modified web/dependencies/list-index/index.xml
The file was modified web/entries/Collections.html
The file was modified web/entries/Deriving.html
The file was modified web/entries/List-Index.html
The file was modified web/entries/index.html
The file was modified web/entries/index.xml
The file was modified web/index.html
The file was modified web/index.json
The file was modified web/index.xml
The file was modified web/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/theories/index.xml
The file was modified web/topics/index.html
The file was modified web/topics/logic/general-logic/classical-first-order-logic/index.html
The file was modified web/topics/logic/general-logic/classical-first-order-logic/index.xml
The file was modified web/topics/logic/general-logic/index.html
The file was modified web/topics/logic/general-logic/index.xml