diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-10-13 10:59:28 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-10-13 10:59:28 +0000 |
commit | 8801f39c72c5b88c79ca52655d4591cee7579c69 (patch) | |
tree | e804df5ed5d72bf5b80f0a7e7cfd96f51e6a91eb /Makefile.devel | |
parent | 61f0ddc231bdccec08547a3d824cef41eeceadb3 (diff) |
To fix pgshell mode, restore proof-shell-insert support for a single string argument and allow nil setting for proof-shell-start-goals-regexp.
Diffstat (limited to 'Makefile.devel')
0 files changed, 0 insertions, 0 deletions