diff options
| author | Healfdene Goguen | 1998-05-05 14:24:13 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-05 14:24:13 +0000 |
| commit | 6dd0ce97dd47d0588c18c1472595200190e889c6 (patch) | |
| tree | 1a796f24b5dd10ecab32949b03ff41ad81f1ada6 /script-management.texinfo | |
| parent | 213d77649db6537443b465812b5a755ceec53d21 (diff) | |
Dependencies of proof mode for xemacs
There may be one or two areas that can be unified with emacs19
dependencies.
Diffstat (limited to 'script-management.texinfo')
0 files changed, 0 insertions, 0 deletions