summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* Updating EProver to 1.8Michael Raskin2013-10-20
* Updating EkrhyperMichael Raskin2013-10-20
* hol: fix access to dotPeter Simons2013-10-11
* hol: update to version k.8Peter Simons2013-10-10
* More description fixesBjørn Forsman2013-10-06
* Add platforms to coq, so it's built on HydraGergely Risko2013-08-28
* Update download link for ssreflect.Russell O'Connor2013-07-14
* ssreflect: fix urlEvgeny Egorochkin2013-07-14
* Update Coq to version 8.4pl2.Russell O'Connor2013-06-14
* Add package versions to some of the packages or fix existing ones to conform ...Evgeny Egorochkin2013-06-07
* Adding E-KRHyper theorem proverMichael Raskin2013-05-09
* Adding Otter theorem prover. The development is frozen, but because of that O...Michael Raskin2013-05-09
* Update E proverMichael Raskin2013-04-21
* Update HOL Light to rev 157Marco Maggesi2013-03-25
* TPTP had a bugfix without version changeMichael Raskin2013-03-09
* Update HOL Light to revision 155Marco Maggesi2013-02-08
* Update HOL Light to revision 154Marco Maggesi2013-02-08
* Fix bad URLs lacking a schemeEelco Dolstra2013-01-14
* Merge pull request #231 from RSzibele/masterMichael Raskin2012-12-27
|\
| * Added Logisim-2.7.1.RSzibele2012-12-27
* | Update HOL Light (and fix installation)Marco Maggesi2012-12-23
|/
* Update E proverMichael Raskin2012-12-09
* Update SSReflect to version 1.4Russell O'Connor2012-09-10
* Upgrade Isabelle proof assistant to version 2012Marco Maggesi2012-09-04
* Fixing configure patch for coq 8.3.Russell O'Connor2012-08-19
* Correcting filename.Russell O'Connor2012-08-19
* Update coq to 8.4Russell O'Connor2012-08-19
* TPTP: update to 5.4.0Michael Raskin2012-07-07
* Update HOL Light to rev 141Marco Maggesi2012-05-30
* Revert accidentaly patch of ssreflect.Russell O'Connor2012-05-28
* Updatings ssreflect to depend on camlp5 version 6.Russell O'Connor2012-05-28
* add support to make building coqide optional.Russell O'Connor2012-05-28
* Updating coq and ssreflect to patch level 4.Russell O'Connor2012-05-16
* Update HOL Light to r134Marco Maggesi2012-05-05
* Adding LCI lambda calculus interpreter Michael Raskin2012-05-01
* Update TPTPMichael Raskin2012-04-12
* Adding forgotten configure_130312 patch for matitia.Russell O'Connor2012-03-26
* Reparing stable build of Matita.Russell O'Connor2012-03-25
* Adding a package for a preview release of Matita.Russell O'Connor2012-03-25
* Upgrading HOL4 to version k.7.Russell O'Connor2012-03-20
* Update HOL Light to rev 128Marco Maggesi2012-03-17
* Fix building of Coq and update to version 8.3pl3. (Forgot to save files)Marco Maggesi2012-03-17
* Fix building of Coq and update to version 8.3pl3.Marco Maggesi2012-03-17
* svn merge ^/nixpkgs/trunkYury G. Kudryashov2012-02-06
|\
| * Update HOL Light to rev 122.Marco Maggesi2012-02-01
* | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra2012-01-18
* | svn merge ^/nixpkgs/trunkYury G. Kudryashov2012-01-14
|\|
| * Update HOL Light to rev 118Marco Maggesi2012-01-10
* | svn merge ^/nixpkgs/trunkYury G. Kudryashov2012-01-04
|\|
| * Update E proverMichael Raskin2012-01-04
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-19 17:03:05 +0000