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