Release Notes: This version adds compatibility with Spotter 3.x.
Release Notes: This release fixes a bug which prevented the dependencies from being installed when doing a "make ubuntu" in Ubuntu 12.04+.
Release Notes: This release works around a break in backward compatibility occurring with Ubuntu 12.04 (Precise Pangolin). It will also work on some earlier, but not too old, versions of Ubuntu.
Release Notes: The font size can now be changed.
Release Notes: This release fixes a serious bug similar to the one fixed in release 3.1.7, involving assignments with names in uppercase. Files with this problem will be automatically fixed when they are opened.