diff options
| author | David Aspinall | 2002-03-21 15:50:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-03-21 15:50:14 +0000 |
| commit | 6d00dbd2fc98284441e116f79a1e3424ec079005 (patch) | |
| tree | bc880a366b25d7da2d631c39025ee81d10956a95 /generic/proof.el | |
| parent | f09828b4a6b0276d4a694c0d67f8466c13a63670 (diff) | |
Dont set type property for proof elements (experiment). Tweak name determination/reporting. Provide generic implementation of find-and-forget. Dont warn about some unnecessary settings
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions