diff options
| author |  cvs2git <cvs2git@example.com> | 2003-03-01 11:33:35 +0000 |
|---|---|---|
| committer | cvs2git <cvs2git@example.com> | 2003-03-01 11:33:35 +0000 |
| commit | fb189265d3695c0160cf098ac191d2f5f54fbee8 (patch) | |
| tree | 6250682683e16fdd97c0567f4c36d965be7666df /x-symbol/etc/pcf/heriR12.pcf | |
| parent | acef2f57efd3af23836c7ccf0fe39ae4cc76222c (diff) | |
This commit was manufactured by cvs2git to create branch 'xsym'.
Cherrypick from master 2003-03-01 11:33:34 UTC David Aspinall <da@inf.ed.ac.uk> 'New files.':
x-symbol/README.x-symbol-for-ProofGeneral
x-symbol/info/x-symbol.info
Diffstat (limited to 'x-symbol/etc/pcf/heriR12.pcf')
0 files changed, 0 insertions, 0 deletions