[Agda-dev] Release Agda-2.4.2.3

[Andreas Abel]

The last release of the maintenance version was half a year ago (Nov 2014).

There are now enough bug-fixes to warrant another release.

Andres, are you up to it?

Cheers,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/