diff options
| author | David Aspinall | 2000-12-14 18:58:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-12-14 18:58:41 +0000 |
| commit | 0d4f0b29e9c9e55daf2ba224f3cde5b4b482a294 (patch) | |
| tree | 0e77e6a85150049215351c538f7b271eaf5e4f4b /FAQ | |
| parent | cbf3ddcba2fcbb4c601607cb2702433f1bb7a20b (diff) | |
Add proof-disappearing-proofs
Make proofs visible command
pg-insert-output-as-comment-fn hook
Alter docstrings for functions using proof-format-filename
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions