aboutsummaryrefslogtreecommitdiffhomepage
path: root/x-symbol/etc/pcf/heriR12.pcf
diff options
context:
space:
mode:
authorGravatar cvs2git <cvs2git@example.com>2003-03-01 11:33:35 +0000
committerGravatar cvs2git <cvs2git@example.com>2003-03-01 11:33:35 +0000
commitfb189265d3695c0160cf098ac191d2f5f54fbee8 (patch)
tree6250682683e16fdd97c0567f4c36d965be7666df /x-symbol/etc/pcf/heriR12.pcf
parentacef2f57efd3af23836c7ccf0fe39ae4cc76222c (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