Re: Ocaml 3.08.2 & LablGTK2 : inconsistent assumptions over implementation Thread
> I have heard that a bugfix release of COQ is to be out soon. If it's
> really soon, it might be a good idea to wait a bit an upload it. Do you
> have any precise information about it?
On last friday there was a meeting to make the point about the bug fix.
Several bugs in the b.t.s. of Coq were closed, but a few others are still
in place. No new precise date was fixed (everybody is trying to close
his own bugs). Thus for sure it will not be before next week (but it can
be later; in this case it will clash with the Types meeting and the
Xmas holidays).
Cheers,
C.S.C.
--
----------------------------------------------------------------
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: sacerdot@cs.unibo.it
http://www.cs.unibo.it/~sacerdot
----------------------------------------------------------------
Reply to: