diff options
| author | David Aspinall | 1999-08-20 16:25:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-20 16:25:46 +0000 |
| commit | f492a2622fb1f8136090f41279fc9ba57f01a5f9 (patch) | |
| tree | 206114758cfebd94fa7a2d9fea3ee2fc45518095 /generic/proof-script.el | |
| parent | f51655d8d1026d3f83300a4b44ede08cabcce5fe (diff) | |
Tweaks for 2.1 release
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions