Mercurial > cpdt > repo
diff src/Large.v @ 535:dac7a2705b00
...and back to working in 8.4 again
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 05 Aug 2015 14:57:14 -0400 |
| parents | ed829eaa91b2 |
| children | f874c163f5e0 |
line wrap: on
line diff
--- a/src/Large.v Wed Aug 05 14:46:55 2015 -0400 +++ b/src/Large.v Wed Aug 05 14:57:14 2015 -0400 @@ -852,7 +852,7 @@ << (custom-set-variables ... - '(coq-prog-args '("-I" "/path/to/cpdt/src")) + '(coq-prog-args '("-R" "/path/to/cpdt/src" "Cpdt")) ... ) >> @@ -862,7 +862,7 @@ << (custom-set-variables ... -; '(coq-prog-args '("-I" "/path/to/cpdt/src")) +; '(coq-prog-args '("-R" "/path/to/cpdt/src" "Cpdt")) '(coq-prog-args '("-R" "LIB" "Lib" "-R" "CLIENT" "Client")) ... )