diff options
| author | David Aspinall | 2008-01-30 12:44:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-30 12:44:20 +0000 |
| commit | d1a0568693284de86676e0451dcbe766a43e3c74 (patch) | |
| tree | b7bd22155c5fb9193a31a678155e12f83f72fad2 /generic/proof-script.el | |
| parent | be7f3ce1320e778e400800c54c3bf9d8b092c743 (diff) | |
Update credits and add section on Unicode support
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions