On Thu, Aug 09, 2007 at 10:36:27AM +0200, Samuel Mimram wrote: > Ah, right, it should be libfloat-coq then to be consistent with caml's > scheme. Any other suggestion?
I second this scheme. -- Stefano Zacchiroli -*- PhD in Computer Science ............... now what? [EMAIL PROTECTED],debian.org,bononia.it} -%- http://www.bononia.it/zack/ (15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the (15:57:15) Bac: no, la demo scema \/ right keys at the right time
signature.asc
Description: Digital signature
