diff options
| author | Hendrik Tews | 2016-11-16 11:27:42 +0100 |
|---|---|---|
| committer | Hendrik Tews | 2016-11-16 11:41:51 +0100 |
| commit | 94e8ce4389c1d9926a629d30075dae64bee84779 (patch) | |
| tree | b8d59815aafaf817d7f4025ee5d20c3c0e94d6ad /pgshell/pgshell.el | |
| parent | c1e06d2c2d67236aeedb59137d155d93d0646596 (diff) | |
first version for quick compilation
Select "Quick compilation mode" in the Coq menu. See also
documentation of coq-compile-quick, the and-vio2vo stuff is not yet
there.
Diffstat (limited to 'pgshell/pgshell.el')
0 files changed, 0 insertions, 0 deletions