Released 1 Apr 2011
New features:
- Agent case sensitive checkbox setting is honored correctly.
- Container and agent tables honor $MapBodyTextSize.
- Shape menu has a 'normal' choice.
Other maintenance fixes.
See 5.8.1 Release Notes for more detail of minor points.
This version is cited in the following notes: