diff options
| author | Healfdene Goguen | 1998-06-10 11:42:06 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-06-10 11:42:06 +0000 |
| commit | d145e4095c6e9f3aa5d5f402eed6c8c97d6d51fb (patch) | |
| tree | 26e56254619a2f14826ca351d929934afb63adf7 /proof.el | |
| parent | e9aeaece10022fe6f81e97ee3b5ebcfcd5914fe0 (diff) | |
Added coq-init-syntax-table as function to initialize syntax entries
particular to coq.
Changed proof-ctxt-string to "Print All".
Call coq-init-syntax-table from coq-shell-mode-config. This was
necessary to get prompts with "'"s in them (coming from goals with
same) recognized.
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions