diff options
| author | David Aspinall | 2003-02-26 19:43:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-26 19:43:15 +0000 |
| commit | 3c2fb66e3b24519749522112ebd02fb1f678c22e (patch) | |
| tree | 858e6600d8c82c387475111737c7d9c8a0abafe5 /generic/proof-script.el | |
| parent | 1117c1908e80d023c6b54676a65af119e9a39a3e (diff) | |
| parent | 2e0ed62311f060fdf93cee9caeaaececc0486d05 (diff) | |
This commit was generated by cvs2git to track changes on a CVS vendor
branch.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions