diff options
| author | David Aspinall | 1999-11-14 12:17:25 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-14 12:17:25 +0000 |
| commit | b987d7b68b2ae14ddc30710d7e733d9c28c41667 (patch) | |
| tree | 1dda842acb819a1b175696648db933ebb80d9a9c /generic/proof-script.el | |
| parent | 80865dca3f242338eb3c4fa001d02a35a554c884 (diff) | |
More highlighting
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions