Improved logging functionality in worksheet, custom number formating,
periodic refresh of worksheet. Long ops view in worksheet. Improved
extentview in browser. Fixed lots of bugs and minor improvemts.
Mainly a bugfix release, please use this instead of the recent 1.3.9
release since a lot of important bugs were discovered and fixed after
Available at http://www.globecom.se/tora as usual.