diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-15 15:06:30 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-15 15:06:30 +0000 |
| commit | e5b83b5797320fdaedd7d381ec7686dbda6d143f (patch) | |
| tree | e62d13a9cb58f1214ef8539275282bd606571275 /Makefile.devel | |
| parent | e5beeb89bcc315dc17c52c712daf421f589adf7f (diff) | |
Cleanup and use some macros from proof.el
Diffstat (limited to 'Makefile.devel')
0 files changed, 0 insertions, 0 deletions