docs on devcomp