diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-09-04 17:04:02 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-09-04 17:04:02 +0000 |
commit | 457d2f8017e06e089425d4106e1dc51b7a3d029c (patch) | |
tree | 680d62f6ba3da16204f84a015780ef8c8eb16383 /lclam | |
parent | d40e94ad261c3a992a3bd74b18a665aca28abec8 (diff) |
New files.
Diffstat (limited to 'lclam')
-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$ + + |