diff options
| -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. |