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 | |
| parent | 9ab675b24fa06781ce382c90b5e318f3481b5d0c (diff) | |
Add proof-script-error-face
Diffstat (limited to 'lego')
0 files changed, 0 insertions, 0 deletions