Up: Releases

LEGO System and documentation, Version 1.2

Installation

Precompiled binaries are available for Solaris, SunOS 4.x and Linux.

Solaris: stand-alone LEGO LEGO with ML
SunOS 4.x: stand-alone LEGO LEGO with ML
Linux: stand-alone LEGO LEGO with ML
Other architectures
Sources: New Jersey SML sources

Documentation

For the above systems, the following documentation is available

Library documentation in HTML format
Thomas Schreiber and Savi Maharaj, LEGO Reference Card.
Zhaohui Luo and Randy Pollack, LEGO Proof Development System: User's Manual , LFCS Technical Report ECS-LFCS-92-211.
Randy Pollack and Claire Jones, Incremental changes in LEGO
Randy Pollack, Incremental Changes in LEGO: 1994.
Recent changes .
More literature about LEGO

Last updated on 12 August 1997 by <lego@dcs.ed.ac.uk>