diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 13:55:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 13:55:26 +0000 |
| commit | 59e9bc9d01fa12f6e251f5a0bbf5ce1228466ccc (patch) | |
| tree | 809dad83c3a92a0488f3a786383a67b91422b499 /generic/proof-utils.el | |
| parent | 38751c59d7cee8757e07829e0de5263932bc9f23 (diff) | |
Doc fixes, and many defun -> defsubst to enhance compiled code.
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions