Release 3.3.0

Uses version 3 of gtksourceview instead of version 2, allowing use on Linux distributions that have dropped support for version 2.

Release 3.2.0

Only minor visible changes from release 3.1, but there is a new (undocumented!) build option SEGMEM for a slightly slower but super-portable runtime system that relies on malloc() for all dynamic memory allocation. This works equally well on machines with 32-bit or 64-bit pointers, and is used for the xml2pmx program that converts (as I understand it) the output of the Sibelius music editing application for typesetting with TeX. There's no urgency to upgrade.

Release 3.1.2

• Fixed deprecations when building the debugger with recent GTK releases.
• Fixed problems with the windows installer.
• Implemented semantic checks associated with abstract records (a language extension).
• Improved interface for C-language primitives: access to errno, passing records as parameters.

Note -- Debian packages are now also hosted on a PPA: see https://spivey.oriel.ox.ac.uk/corner/Debian_PPA

Release 3.1.1

This release fixes two bugs: a subtle error in the fixpoint algorithm used in the included yacc implementation (which does not affect the parsers used in obc), and an inefficiency in the treatment of literals in the JIT for the ARM architecture.

Only users on the Raspberry Pi need upgrade, so I've provided only one binary.

Release 3.1.0

Update Mac build script

--HG--
branch : rel-3.1

Release 3.0.7

Bumped to 3.0.7

--HG--
branch : rel-3.0