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