as a machine-checked digital specification
that is not the formal counterpart of some previously published informal material.
</body>
- <body>
- λδ comes in several versions listed in the following table,
- which includes the major milestones:
- </body>
- <table name="versions"/>
<body>
This is the System logo: <rlink to="images/crux_177.png">crux_177.png</rlink>
(revised <date date="2012-09"/>).