On Thu, 2009-08-13 at 11:53 +0200, Miro Kropacek wrote: > Is QED available in CVS anywhere now as it mentions getting > updated > source with CVS/GCC on the homepage ? > Yes, it's available in the same CVSROOT as freemint, mintlib, lib etc > -- under name "qed". Ah, nice. Alan.