diff options
| author | David Aspinall | 1998-11-18 13:32:16 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-18 13:32:16 +0000 |
| commit | 8bc42afd5bcd0e615d844874df1516445cf15a3a (patch) | |
| tree | d9695674e44752b73f9203f6e74e1e56952bb335 /generic/proof-script.el | |
| parent | 83fca033b496a6438905414cc6a489e494299084 (diff) | |
Added optional argument to proof-ids for non-comma separators.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions