summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* 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
* | Merge trunkYury G. Kudryashov2012-01-02
|\|
| * Oops!Marco Maggesi2011-12-28
| * Update HOL Light to r116Marco Maggesi2011-12-28
* | merge trunkYury G. Kudryashov2011-12-16
|\|
| * Update HOL Light to rev 114Marco Maggesi2011-12-16
* | * Sync with the trunk.Eelco Dolstra2011-12-12
|\|
| * Update url for Isabelle2011Marco Maggesi2011-11-26
| * adding camlp5 as a propogated build input to ulex 0.8Russell O'Connor2011-11-24
| * Updated HOL Light to revision 112Marco Maggesi2011-11-10
* | synchronize with trunkPeter Simons2011-10-18
|\|
| * Package for picosat.Russell O'Connor2011-10-17
* | Merge from trunk up through r28790Shea Levy2011-08-24
|\|
| * Update HOL Light to release 102Marco Maggesi2011-08-21
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-06 07:26:28 +0000