diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 08:49:46 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 08:49:46 +0000 |
commit | fa5ab22e50afb88abc34258679990abfea4c19bd (patch) | |
tree | 9b0fd031719496bafa6e55e6665a9b1c6aa2a554 /coq/coq-autotest.el | |
parent | 1769db4c1d1ae4ca32a04acbd2c247a803bf4af0 (diff) |
Move defpacustom here. Move message functions to proof-shell. Fix requires.
Diffstat (limited to 'coq/coq-autotest.el')
0 files changed, 0 insertions, 0 deletions