Ladder Version 1.2 Released

[<la...@os...>]

A new version of ladder is available from
http://ostermiller.org/ladder/

The new version has an extended set of levels
that includes all of the levels from Ladder 2.