diff options
| -rw-r--r-- | lclam/README | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/lclam/README b/lclam/README new file mode 100644 index 00000000..39db25c1 --- /dev/null +++ b/lclam/README @@ -0,0 +1,15 @@ +Lambda-CLAM Proof General + +Written by James Brotherston <jjb@dai.ed.ac.uk>. + + +Status: supported +Maintainer: James Brotherston <jjb@dai.ed.ac.uk> +Lambda-CLAM version: ?? +Lambda-CLAM homepage: http://dream.dai.ed.ac.uk/software/systems/lambda-clam/ + +======================================== + +$Id$ + + |