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

Re: Naming scheme for coq libraries



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?
zack@{cs.unibo.it,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

Attachment: signature.asc
Description: Digital signature


Reply to: