diff options
| author | David Aspinall | 2009-08-19 16:36:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-19 16:36:49 +0000 |
| commit | 32110e70622b2db165b4a514a935197f00ebbd3e (patch) | |
| tree | edf6aa75ca7f4945413cc4425d2bc70d93af97f9 /generic/proof-syntax.el | |
| parent | 5c938d2d0e2d1ed153f5672c9e2eb1da8d5b930a (diff) | |
*** empty log message ***
Diffstat (limited to 'generic/proof-syntax.el')
0 files changed, 0 insertions, 0 deletions