diff options
Diffstat (limited to 'lego/README')
| -rw-r--r-- | lego/README | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/lego/README b/lego/README new file mode 100644 index 00000000..a8fa6850 --- /dev/null +++ b/lego/README @@ -0,0 +1,15 @@ +LEGO Proof General + +Written by Thomas Kleymann and Dilip Sequeira. +Later maintainance by David Aspinall and Paul Callaghan. + +$Id$ + +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 a tags program, legotags. + |