diff options
| author | David Aspinall | 2003-02-19 13:02:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-19 13:02:17 +0000 |
| commit | 4868a79fcf6672778b2f195a515a42d1338f577a (patch) | |
| tree | 45a2f63de658e238d24a6ceab4bab8ca0bbcaa5d | |
| parent | c407f79a6007e30596bf4fbb1e9c4aa929147c93 (diff) | |
New files.
| -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. |