Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merge from afp-2019
  2. New entry KD_Tree (import of 11bf495b95ef from afp-2018)
Changeset 10446:5c9417f37470 by kleing:
merge from afp-2019
Changeset 10445:841f0dcedae1 by kleing:
New entry KD_Tree<br><br>(import of 11bf495b95ef from afp-2018)
The file was addedthys/KD_Tree/Balanced.thy
The file was addedthys/KD_Tree/KDTree.thy
The file was addedthys/KD_Tree/Nearest_Neighbors.thy
The file was addedthys/KD_Tree/ROOT
The file was addedthys/KD_Tree/Range_Search.thy
The file was addedthys/KD_Tree/document/root.bib
The file was addedthys/KD_Tree/document/root.tex
The file was addedweb/entries/KD_Tree.html
The file was modified metadata/metadata
The file was modified thys/ROOTS
The file was modified web/entries/Median_Of_Medians_Selection.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