diff options
| author | David Aspinall | 2000-12-14 18:56:09 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-12-14 18:56:09 +0000 |
| commit | 6f10f49bde947bc2f3fca034096ef7b9962c6c06 (patch) | |
| tree | 098d276d3b7d552dad68606c778f276fec1ad63b /html/cvsweb.cgi | |
| parent | 595af5218eecdf04a0b52f8754975bb79fef1371 (diff) | |
Add bindings for pg-insert-last-output-as-comment and proof-disappearing-proofs-toggle
Diffstat (limited to 'html/cvsweb.cgi')
0 files changed, 0 insertions, 0 deletions