Changes to _CoqProject