Change more old-style names to new-style.
authorMike Taylor <mike@indexdata.com>
Thu, 23 Oct 2014 15:06:05 +0000 (16:06 +0100)
committerMike Taylor <mike@indexdata.com>
Thu, 23 Oct 2014 15:06:05 +0000 (16:06 +0100)
commitb50413d3892a5a00b64a941ff16272e3f553170b
treef73858d2baebbc6382972d43d140df4edf2d10ac
parentf6ab13587b58fba947e4257e7ff1091bbaffcb64
Change more old-style names to new-style.
Add documentation for the mkws-progress widget.
Describe old and new-style names, and deprecation protocol..
doc/mkws-manual.markdown