diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-09 17:08:57 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-09 17:08:57 +0000 |
commit | c4d3e63e3bdc5041eedf2b9c7fb166963ed4020c (patch) | |
tree | ece4222989fdab77e6ed66f0ce9457b901155277 /lego/lego.el | |
parent | 9ab675b24fa06781ce382c90b5e318f3481b5d0c (diff) |
Add proof-script-error-face
Diffstat (limited to 'lego/lego.el')
0 files changed, 0 insertions, 0 deletions