This release has been uploaded to

(still an alias for the old
and is mirrored at .


  Documentation changes

    Began work on a case study.

  Implementation changes

    Added a missing 'with abort' to a requeue in

    Bounded Bags, Maps and Sets use a bounded hash table. This reduces
    the space requirement considerably and means that the Available
    function returns the correct value. Iteration is much faster.

    Began re-indenting to the GNAT default (basically, 3 spaces
    standard indent, 2 spaces for continuations).