diff options
| author | cvs2git | 2003-02-19 13:02:18 +0000 |
|---|---|---|
| committer | cvs2git | 2003-02-19 13:02:18 +0000 |
| commit | 2be75c8ee0bafcf9534bd6bb13739b0f37b343d9 (patch) | |
| tree | f4f0ff87c9b1c8e1b201c6040986951880a49f13 | |
| parent | e32cdcec6ea48773c37102fbbdddbc0b68b74b07 (diff) | |
This commit was manufactured by cvs2git to create branch 'xsym'.
Cherrypick from master 2003-02-19 13:02:17 UTC David Aspinall <da@inf.ed.ac.uk> 'New files.':
x-symbol/README.ProofGeneral
| -rw-r--r-- | x-symbol/README.ProofGeneral | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/x-symbol/README.ProofGeneral b/x-symbol/README.ProofGeneral new file mode 100644 index 00000000..62dad2ed --- /dev/null +++ b/x-symbol/README.ProofGeneral @@ -0,0 +1,7 @@ +The code in this directory is taken from + + http://x-symbol.sourceforge.net/ + +This is version XXXX + +No changes have been made for Proof General. |