diff options
| author | David Aspinall | 2000-05-09 10:22:43 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-09 10:22:43 +0000 |
| commit | 550ba4a80382a64a10a66d96c59cf5900a36893a (patch) | |
| tree | a4dda224021a7ae5e018c720698874f343862f3e /generic/proof-system.el | |
| parent | 7cd66b9675f15e0c6d6edf54cd2ae20613338735 (diff) | |
Added proof-splice-separator.
Diffstat (limited to 'generic/proof-system.el')
0 files changed, 0 insertions, 0 deletions