diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 11:30:25 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 11:30:25 +0000 |
commit | 2b2de25d78772a6883034d94539b3467a3337e93 (patch) | |
tree | ef0b7322e43edf48c59a207f1b19eeafac21f62e | |
parent | 2b1759c642c23de80c28655330124a8385432aec (diff) |
New files.
-rw-r--r-- | lib/README | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/README b/lib/README new file mode 100644 index 00000000..776d8d7a --- /dev/null +++ b/lib/README @@ -0,0 +1,5 @@ +This directory contains general library lisp files. + +Some of these have been developed as part of the Proof General +project; others have been taken from other sources. See individual +files for copyright holder and license details. |