Re: CVS commit: wip/coq

[Aleksej Saushev <asau%inbox.ru@localhost>]

"othyro" <othyro%users.sourceforge.net@localhost> writes:

> Module name:  wip
> Committed by: othyro
> Date:         Thu Mar 11 14:37:20 UTC 2010
>
> Import into wip/coq
>
> Log Message:
> Import coq-8.2pl1 as wip/coq.
>
> Coq is a formal proof management system. It provides a formal language to 
> write
> mathematical definitions, executable algorithms and theorems together with an
> environment for semi-interactive development of machine-checked proofs.

Any reason not to submit package update rather?


-- 
HE CE3OH...


------------------------------------------------------------------------------
Download Intel&#174; Parallel Studio Eval
Try the new software tools for yourself. Speed compiling, find bugs
proactively, and fine-tune applications for parallel performance.
See why Intel Parallel Studio got high marks during beta.
http://p.sf.net/sfu/intel-sw-dev
_______________________________________________
pkgsrc-wip-discuss mailing list
pkgsrc-wip-discuss%lists.sourceforge.net@localhost
https://lists.sourceforge.net/lists/listinfo/pkgsrc-wip-discuss