Remove unneeded code and unify "utils" modules
Remove document/Utils in favor of Odoc_utils
Remove list operations that were not needed and move skip_until and
split_at into Odoc_utils.
Document related utils could be moved to Codefmt.
This makes the code more consistent regarding List and String
manipulations.
5bdc6f
-
-
Feb 26 10:43 +00:00