From f4ea5617e9f62b61626fd6544f6f44d54c758550 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 23 Sep 2015 18:22:55 +0200 Subject: [PATCH] doc again --- doc/intro.txt | 27 +++------------------------ 1 file changed, 3 insertions(+), 24 deletions(-) diff --git a/doc/intro.txt b/doc/intro.txt index 75275dbd..3b13b399 100644 --- a/doc/intro.txt +++ b/doc/intro.txt @@ -128,33 +128,11 @@ requires {{:https://github.com/c-cube/sequence} Sequence}. {4 Misc} -This list is not necessarily up-to-date. - -{!modules: -AbsSet -Automaton -Bij -CSM -Hashset -LazyGraph -PHashtbl -PrintBox -RAL -RoseTree -SmallSet -UnionFind -Univ -} +Moved to its own repository. {4 Lwt} -Utils for Lwt (including experimental stuff) - -{!modules: -Lwt_actor -Lwt_klist -Lwt_pipe -} +Moved to its own repository {4 Others} @@ -162,6 +140,7 @@ Lwt_pipe CCFuture CCLock CCSemaphore +CCThread }