-
POTTIER Francois authored
New options --coq-lib-path and --coq-lib-no-path control this behavior.
496e9a8d
To find the state of this project's repository at the time of any of these versions, check out the tags.
New options --coq-lib-path and --coq-lib-no-path control this behavior.