diff options
| author | Hendrik Tews | 2011-01-14 08:23:40 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-01-14 08:23:40 +0000 |
| commit | 5927f791f80f29134f80ced5a924693d62d6dfc5 (patch) | |
| tree | 04b3b0bd93c37abe47e9c8f45ff99e6a3fad4afe /doc | |
| parent | 4eb269982af632d39fe9f28c866436acd7d36370 (diff) | |
- Remove nonfunctional Add LoadPath code.
- Use coqdep now to map the required module to a file name.
"Require Arith." works now, but coqdep fails on "Require
Arith.Le.".
- Remove the coq-internal-load-path hash and all related
function. Coq's load path logic is too complicated to
reimplement that in ProofGeneral
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions