diff options
Diffstat (limited to 'x-symbol')
| -rw-r--r-- | x-symbol/README.x-symbol-for-ProofGeneral (renamed from x-symbol/README.ProofGeneral) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/x-symbol/README.ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral index 62dad2ed..62dad2ed 100644 --- a/x-symbol/README.ProofGeneral +++ b/x-symbol/README.x-symbol-for-ProofGeneral |