gjb a39046ac58 Belatedly (by many years!) bump the version numbers in the src/-side ... documentation pages. Saddened by: this file		2012-11-09 04:52:15 +00:00
..
examples
misc	Revert previous commit...	2012-09-14 20:51:35 +00:00
mk	- Rename .sgml files to .xml to track the recent doc changes	2012-10-01 11:26:49 +00:00
xml	Belatedly (by many years!) bump the version numbers in the src/-side	2012-11-09 04:52:15 +00:00