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 }