diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2015-03-13 14:12:13 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2015-03-13 14:12:13 +0000 |
| commit | 40d0c079ac9acf8ddd1e531b6e229ccd71451bd4 (patch) | |
| tree | 4ecfaeb1facd4c6362a380a8ba96bca8c3514730 /Makefile | |
| parent | ee094de6145730aad0774adf9ac9f931a1b07cf0 (diff) | |
(fixes last commit) Added a command to send Queries to coq, with completion (C-c C-a C-q).
Should replace C-c C-v at some point. Needs to have a complete list of
such queries. Obeys C-u prefix for Printing all flag.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions