diff options
| author | Pierre-Marie Pédrot | 2016-09-24 23:33:10 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-09-25 01:19:29 +0200 |
| commit | 1ea09cb57dffd7cc9b6fa3ccec137ea3dfcc6980 (patch) | |
| tree | 37b96a632404da3eadc24b744c19019b75ccb4a2 /kernel | |
| parent | f487472a5628fdb43245e782b304705172a1f569 (diff) | |
The coqtop options -Q and -R do not affect the ML loadpath anymore.
It seems that such options were adding the considered path to the ML loadpath
as well, which is not what is documented, and does not provide an atomic way
to manipulate Coq loadpaths.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions