Rewrite the doc with easytable 3

Fixes monaqa#6
na4zagin3 · Apr 16, 2022 · 5e70d3e · 5e70d3e
1 parent 620bcd1
commit 5e70d3e
Show file tree

Hide file tree

Showing 4 changed files with 229 additions and 141 deletions.
diff --git a/Satyristes b/Satyristes
@@ -12,8 +12,7 @@
   (opam "satysfi-easytable.opam")
   (dependencies
     (
-     (base ())))
-  (compatibility ((satyrographos "0.0.1"))))
+     (base ()))))
 
 (libraryDoc
   (name "easytable-doc")

diff --git a/doc/easytable.pdf b/doc/easytable.pdf