[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MiNT] qed



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.