diff options
| author | David Aspinall | 2003-02-26 19:53:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-26 19:53:02 +0000 |
| commit | 7ad51ef6162226efbb67eb2c7a5a8a55520d44de (patch) | |
| tree | d0bee70c5b8512979b95406b5e780f03092344fc /generic/proof-script.el | |
| parent | 3c2fb66e3b24519749522112ebd02fb1f678c22e (diff) | |
| parent | 5798dc5ec6bda94db0e9b96b2b38f1a18f0b0752 (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