Finish subsection describing the basic version of CoqEdit