1057 commits

Author	SHA1	Message	Date
Peter Simons	1295493b18	pkgs/applications/science/logic/coq: install coqide libraries ... Patch courtesy of Russell O'Connor. svn path=/nixpkgs/trunk/; revision=21838	2010-05-18 13:40:19 +00:00
Marco Maggesi	afbb01c90d	Add expression for Coq 8.3 beta ... svn path=/nixpkgs/trunk/; revision=21734	2010-05-11 20:14:46 +00:00
Marco Maggesi	513d653d68	Add HOL Light and its dependencies. ... Add pkgs/applications/science/logic/hol_light and pkgs/applications/science/emacs-modes/hol_light Some functionalities of HOL Light requires the compiled sources of OCaml. For now we provide a new package ocaml_with_sources. After this shuold be merged with the current version of OCaml already present in nixpkgs. svn path=/nixpkgs/trunk/; revision=20008	2010-02-15 11:00:02 +00:00
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