4 commits

Author	SHA1	Message	Date
Marco Maggesi	98aaa4421c	Add expression for Isabelle2009 ... svn path=/nixpkgs/trunk/; revision=18905	2009-12-11 17:00:52 +00:00
Marco Maggesi	c713b0ed67	Preliminary version of package ssreflect ... Add expression for ssreflect, an extension to the Coq Proof Assistant. Still has some clitches (see TODO in default.nix) but is usable anyway. svn path=/nixpkgs/trunk/; revision=18145	2009-11-05 15:08:12 +00:00
Marco Maggesi	a0207b3dc7	Updated Coq to version 8.2pl1 ... svn path=/nixpkgs/trunk/; revision=18069	2009-11-02 11:44:27 +00:00
Andres Löh	12ca68d114	Added a preliminary expression for Coq (no IDE support yet). ... svn path=/nixpkgs/trunk/; revision=11983	2008-06-04 15:10:05 +00:00