diff options
| author | David Aspinall | 1999-11-25 18:46:05 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-25 18:46:05 +0000 |
| commit | a893f64aaf2407700e0c848f5d471e671ca4d23d (patch) | |
| tree | 7773dc85a01e4488e87f8702822b700611760006 /generic/proof-syntax.el | |
| parent | e0b6865de60a1fc7ecda700376f8f062fa0f2380 (diff) | |
FIXME comment added
Diffstat (limited to 'generic/proof-syntax.el')
0 files changed, 0 insertions, 0 deletions