aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Pierre Courtieu <courtieu@lri.fr>2015-03-13 14:11:31 +0000
committerGravatar Pierre Courtieu <courtieu@lri.fr>2015-03-13 14:11:31 +0000
commitee094de6145730aad0774adf9ac9f931a1b07cf0 (patch)
treefd2cec612a431bb7a6fcec882789875e20438c7f /Makefile
parentd3db21f910d8e4efa8d88de02371bac855500b8b (diff)
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