diff options
| author | David Aspinall | 2009-12-01 09:43:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-12-01 09:43:50 +0000 |
| commit | ba3496605259c6051a5ebf93f576e004836363aa (patch) | |
| tree | 621ded4a069b637f63c091c3bcf260f17ef96db1 /generic/proof-syntax.el | |
| parent | 2a6f0a2e6c75fcf67eabc340fe168f10c808a882 (diff) | |
Clean
Diffstat (limited to 'generic/proof-syntax.el')
0 files changed, 0 insertions, 0 deletions