summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
...
| * Update LEO-IIMichael Raskin2011-08-05
| * Adding TPTPMichael Raskin2011-06-15
| * Update HOL Light to rev 92Marco Maggesi2011-06-14
| * Update hol_light and cleanup:Marco Maggesi2011-05-21
| * Fix building of Isabelle2011Marco Maggesi2011-05-14
| * Update HOL Light to r89Marco Maggesi2011-04-21
| * Update Isabelle to an existing tarball...Michael Raskin2011-04-20
| * update coq to 8.3pl1Russell O'Connor2011-04-05
| * * Coq: fix compilation of coqide (path to lablgkt)Marco Maggesi2011-01-03
| * Fix lablgtk referenceMichael Raskin2011-01-02
| * Matita and its dependencies.Russell O'Connor2010-12-31
|/
* * Sync with the trunk.Eelco Dolstra2010-12-28
|\
| * * Handle variable createFindlibDestdir correctly in ocaml-findlibMarco Maggesi2010-12-23
* | * Sync with the trunk.Eelco Dolstra2010-12-21
|\|
| * * Update camlp5Marco Maggesi2010-12-20
* | Updating from trunk. I resolved simple conflicts.Lluís Batlle i Rossell2010-12-11
|\|
| * Adding MiniSATMichael Raskin2010-12-05
| * Adding OpenSMTMichael Raskin2010-12-05
| * Adding CVC3 satisfiability modulo theory (SMT) solverMichael Raskin2010-12-05
| * Adding iProverMichael Raskin2010-12-04
| * Adding SPASSMichael Raskin2010-12-04
| * Adding Satallax proverMichael Raskin2010-12-03
| * Adding LEO2 automated higher-order proverMichael Raskin2010-12-01
| * Fix settings patch for IsabelleMichael Raskin2010-12-01
| * Update IsabelleMichael Raskin2010-12-01
* | Use a patch to fix make 3.82 build of CoqMichael Raskin2010-11-23
|/
* Update CoqMarco Maggesi2010-11-04
* Update HOL LightMarco Maggesi2010-11-03
* Update HOL Light to version 20100820 (rev57 on google code).Marco Maggesi2010-09-15
* Change the name of the coq derivation to coq-devel-8.3pre1Marco Maggesi2010-09-15
* Add coq-8.3rc1Marco Maggesi2010-09-14
* Improve hol_light:Marco Maggesi2010-09-08
* pkgs/applications/science/logic/prover9: fixed trivial syntax errorPeter Simons2010-08-26
* pkgs/applications/science/logic/prover9: updated homepage and licensePeter Simons2010-08-26
* pkgs/applications/science/logic/prover9: initial versionPeter Simons2010-08-26
* Fix installation for updated E prover releaseMichael Raskin2010-08-26
* Move E prover to applications/science/logicMichael Raskin2010-08-25
* pkgs/applications/science/logic/hol: initial versionPeter Simons2010-08-25
* Update Coq to version 8.2pl2 (patch by roconnor)Marco Maggesi2010-08-05
* svn path=/nixpkgs/trunk/; revision=22880Eelco Dolstra2010-08-02
* pkgs/applications/science/logic/coq: install coqide librariesPeter Simons2010-05-18
* Add expression for Coq 8.3 betaMarco Maggesi2010-05-11
* Add HOL Light and its dependencies.Marco Maggesi2010-02-15
* Add expression for Isabelle2009Marco Maggesi2009-12-11
* Preliminary version of package ssreflectMarco Maggesi2009-11-05
* Updated Coq to version 8.2pl1Marco Maggesi2009-11-02
* Added a preliminary expression for Coq (no IDE support yet).Andres Löh2008-06-04
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-10 20:53:44 +0000