diff options
Diffstat (limited to 'obsolete/lclam/README')
-rw-r--r-- | obsolete/lclam/README | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/obsolete/lclam/README b/obsolete/lclam/README new file mode 100644 index 00000000..39db25c1 --- /dev/null +++ b/obsolete/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$ + + |