diff options
| author | David Aspinall | 2009-08-18 09:56:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-18 09:56:48 +0000 |
| commit | a4140dadd9931388b567fbb5bd2003f14641dea0 (patch) | |
| tree | a3c2941871a248269515ddf83cfdeca97c7e90f2 /generic/proof-syntax.el | |
| parent | eaded708c5fa1010120878a0172bd5ca1ec1efce (diff) | |
First attempt at command wrapping (see http://proofgeneral.inf.ed.ac.uk/trac/ticket/199)
Diffstat (limited to 'generic/proof-syntax.el')
0 files changed, 0 insertions, 0 deletions