diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-13 04:21:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-13 04:21:14 +0000 |
| commit | 390a659861192ebf98811438f61c4f992ecad25a (patch) | |
| tree | b730ba7312568eaf620b4096a2af21eb953f9f5e /lego/README | |
| parent | 441b6369abb7863cf65088915cb851ee98f5f59e (diff) | |
New/updated information files
Diffstat (limited to 'lego/README')
| -rw-r--r-- | lego/README | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/lego/README b/lego/README index a8fa6850..2ddd6fd1 100644 --- a/lego/README +++ b/lego/README @@ -5,11 +5,17 @@ Later maintainance by David Aspinall and Paul Callaghan. $Id$ +Status: supported +Maintainer: Paul Callaghan / David Aspinall +LEGO version: 1.3.1 +LEGO homepage: http://www.lfcs.informatics.ed.ac.uk/lego + +======================================== + LEGO Proof General has full support for multiple file scripting, and experimental support for proof by pointing. -There is support for x-symbols, but not using a proper token -language. Try writing "philosophy" ! +There is support for X Symbol, but not using a proper token language. There is a tags program, legotags. |