diff options
| author | Healfdene Goguen | 1998-05-06 15:57:38 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-06 15:57:38 +0000 |
| commit | b0045534e0197874dea3dbd8673ad0e2940c08cc (patch) | |
| tree | 0768def036dd8be3025423b0ccb250f5b6b53526 /INSTALL | |
| parent | b96c1c26a624ae0f290c7a7f1e0335d4f948b8b2 (diff) | |
Removed proof-dependencies-emacs19 for the moment, since not having it
introduces error messages.
Put cd before init in proof-shell-config-done (this won't work for
Coq).
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions