diff options
| author | David Aspinall | 1998-12-18 17:30:57 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-18 17:30:57 +0000 |
| commit | ea812f47a0e0dc3cfdb7ec32f8bb495457ef12f9 (patch) | |
| tree | 2669cf8418faa56ccb8d4001ec6fb4d66d45aa47 /doc/docstring-magic.el | |
| parent | 23f70bdfb7039db97f92484bbfcd00c9e6d98422 (diff) | |
Added proof-assistant-symbol
Diffstat (limited to 'doc/docstring-magic.el')
0 files changed, 0 insertions, 0 deletions