diff options
| author | Hendrik Tews | 2012-05-29 14:53:59 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2012-05-29 14:53:59 +0000 |
| commit | ebaa1e401477bf892841ebb99701ed9d063547e6 (patch) | |
| tree | a06f3d4ec06a61d0ca48205dc743f0a7ef13d16c /pgshell | |
| parent | f3953584ef833db71d937e781f5d8c565cc7adb7 (diff) | |
- erase invalid coq-load-path entry format '("dir")
- check if coq-load-path is well-formed
- update documentation
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions