diff options
| author | Hugo Herbelin | 2018-10-11 19:33:25 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-10-11 19:48:02 +0200 |
| commit | 0979dade7cbfcdffa6550530de6d750c1b578cf5 (patch) | |
| tree | f22cf7c0191234daf6bdedc0225444f6085271db /engine | |
| parent | ca0f034f5b26132f540e0018db09046d8efc5be9 (diff) | |
Documenting -arg in _CoqProject.
We follow Proof General documentation, section 11.2 "Using the Coq
project file".
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions