From e94fccc9b17fee7a4bf956cb90906d30dfcca1a0 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 30 Apr 2020 22:22:35 -0400 Subject: [PATCH] move papers --- doc/IntMap98.pdf => IntMap98.pdf | Bin doc/balacing_wbt.pdf => balacing_wbt.pdf | Bin doc/bbt_full.pdf => bbt_full.pdf | Bin doc/build_deps.ml => build_deps.ml | 0 doc/containers.md => containers.md | 0 doc/dune => dune | 0 doc/finger_tree.pdf => finger_tree.pdf | Bin doc/intro.txt => intro.txt | 0 doc/rrb_vector.pdf => rrb_vector.pdf | Bin doc/scheme_wbt.ps => scheme_wbt.ps | 0 doc/wbt_original.pdf => wbt_original.pdf | Bin 11 files changed, 0 insertions(+), 0 deletions(-) rename doc/IntMap98.pdf => IntMap98.pdf (100%) rename doc/balacing_wbt.pdf => balacing_wbt.pdf (100%) rename doc/bbt_full.pdf => bbt_full.pdf (100%) rename doc/build_deps.ml => build_deps.ml (100%) rename doc/containers.md => containers.md (100%) rename doc/dune => dune (100%) rename doc/finger_tree.pdf => finger_tree.pdf (100%) rename doc/intro.txt => intro.txt (100%) rename doc/rrb_vector.pdf => rrb_vector.pdf (100%) rename doc/scheme_wbt.ps => scheme_wbt.ps (100%) rename doc/wbt_original.pdf => wbt_original.pdf (100%) diff --git a/doc/IntMap98.pdf b/IntMap98.pdf similarity index 100% rename from doc/IntMap98.pdf rename to IntMap98.pdf diff --git a/doc/balacing_wbt.pdf b/balacing_wbt.pdf similarity index 100% rename from doc/balacing_wbt.pdf rename to balacing_wbt.pdf diff --git a/doc/bbt_full.pdf b/bbt_full.pdf similarity index 100% rename from doc/bbt_full.pdf rename to bbt_full.pdf diff --git a/doc/build_deps.ml b/build_deps.ml similarity index 100% rename from doc/build_deps.ml rename to build_deps.ml diff --git a/doc/containers.md b/containers.md similarity index 100% rename from doc/containers.md rename to containers.md diff --git a/doc/dune b/dune similarity index 100% rename from doc/dune rename to dune diff --git a/doc/finger_tree.pdf b/finger_tree.pdf similarity index 100% rename from doc/finger_tree.pdf rename to finger_tree.pdf diff --git a/doc/intro.txt b/intro.txt similarity index 100% rename from doc/intro.txt rename to intro.txt diff --git a/doc/rrb_vector.pdf b/rrb_vector.pdf similarity index 100% rename from doc/rrb_vector.pdf rename to rrb_vector.pdf diff --git a/doc/scheme_wbt.ps b/scheme_wbt.ps similarity index 100% rename from doc/scheme_wbt.ps rename to scheme_wbt.ps diff --git a/doc/wbt_original.pdf b/wbt_original.pdf similarity index 100% rename from doc/wbt_original.pdf rename to wbt_original.pdf