Up:
LEGO System and Documentation for version 1.3.1
New features in LEGO Version 1.3.1
Proof General
supports Proof General Version 2.0
Conditional Visibility
new `?' visibility becomes `:' or `|' as appropriate
LEGO maintainer
Last modified: Tue Nov 10 16:53:20 GMT 1998