diff options
| author | David Aspinall | 1998-10-07 16:19:01 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-07 16:19:01 +0000 |
| commit | 6fc78f750494d5ec0d677e42fb1d3651427b13a9 (patch) | |
| tree | efdb8810dd8b9a5ea97d27b172a2fa350210ecae /generic | |
| parent | 6466e08e1a8bc6ba2c956571654765057dd13bde (diff) | |
Removed coq-settings defgroup, changed to coq.
Defcustom'd coq-prog-name.
Removed proof-assistant setting (now automatic)
Added FIXME question about proof-shell-init-cmd.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions