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 /lib | |
| parent | 2b1759c642c23de80c28655330124a8385432aec (diff) | |
New files.
Diffstat (limited to 'lib')
| -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. |