A.35 SOFTWARE-EVOLUTION-LIBRARY/SOFTWARE/COQ-PROJECT

Class: coq-project [sel/sw/coq-project]

Class precedence list: coq-project, project, software, oid-object, standard-object, slot-object, t

Slots:

• project-file — initarg: :project-file; reader: software-evolution-library/software/coq:project-file

  Path to _CoqProject file, if it exists.

Coq project software object.