diff options
| author | David Aspinall | 1998-11-25 18:08:05 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 18:08:05 +0000 |
| commit | 00d1272443dc4a02b81db11c98e019a7000757fa (patch) | |
| tree | c3d1563bb47eb68528c658666e45230d391de6d4 /etc/ProofGeneral.patch | |
| parent | 783bf52e92cdea2dcca9e42646d3e20f99877375 (diff) | |
Added todo. Put quote into symbol markup.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions