diff options
| author | Pierre Courtieu | 2012-06-09 12:58:56 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2012-06-09 12:58:56 +0000 |
| commit | a65f4b532fe1611aaecb19334ac5cc6671d83b9f (patch) | |
| tree | 0775ac90169c512418dfd799833ed9e9baac78ba /pgshell/example.pgsh | |
| parent | 43493a243f3099e38c39a52cafa801aa4d716a94 (diff) | |
Made a small change in generic code about the setting of
comment-start-skip: if it is already set then proof-script should not
change it. Ultimately if David approves we should moreover fix the
setting itself which is bugged.
coq-mode now sets this variable by itself.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions