From 390a659861192ebf98811438f61c4f992ecad25a Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 13 Mar 2000 04:21:14 +0000 Subject: New/updated information files --- lego/README | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'lego/README') 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. -- cgit v1.2.3