summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Collapse)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
| * 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
| | | | svn path=/nixpkgs/trunk/; revision=34290
* Revert accidentaly patch of ssreflect.Russell O'Connor2012-05-28
| | | | svn path=/nixpkgs/trunk/; revision=34264
* Updatings ssreflect to depend on camlp5 version 6.Russell O'Connor2012-05-28
| | | | svn path=/nixpkgs/trunk/; revision=34263
* add support to make building coqide optional.Russell O'Connor2012-05-28
| | | | svn path=/nixpkgs/trunk/; revision=34262
* Updating coq and ssreflect to patch level 4.Russell O'Connor2012-05-16
| | | | svn path=/nixpkgs/trunk/; revision=34146
* Update HOL Light to r134Marco Maggesi2012-05-05
| | | | svn path=/nixpkgs/trunk/; revision=33992
* Adding LCI lambda calculus interpreter Michael Raskin2012-05-01
| | | | svn path=/nixpkgs/trunk/; revision=33962
* Update TPTPMichael Raskin2012-04-12
| | | | svn path=/nixpkgs/trunk/; revision=33754
* Adding forgotten configure_130312 patch for matitia.Russell O'Connor2012-03-26
| | | | svn path=/nixpkgs/trunk/; revision=33433
* Reparing stable build of Matita.Russell O'Connor2012-03-25
| | | | | | | Also correcting the version and simplifying the prerelease package of Matita. svn path=/nixpkgs/trunk/; revision=33420
* Adding a package for a preview release of Matita.Russell O'Connor2012-03-25
| | | | svn path=/nixpkgs/trunk/; revision=33418
* Upgrading HOL4 to version k.7.Russell O'Connor2012-03-20
| | | | svn path=/nixpkgs/trunk/; revision=33306
* Update HOL Light to rev 128Marco Maggesi2012-03-17
| | | | svn path=/nixpkgs/trunk/; revision=33196
* Fix building of Coq and update to version 8.3pl3. (Forgot to save files)Marco Maggesi2012-03-17
| | | | svn path=/nixpkgs/trunk/; revision=33195
* Fix building of Coq and update to version 8.3pl3.Marco Maggesi2012-03-17
| | | | svn path=/nixpkgs/trunk/; revision=33194
* svn merge ^/nixpkgs/trunkYury G. Kudryashov2012-02-06
|\ | | | | | | | | | | | | | | | | | | | | | | Merge conflicts: * unzip (almost trivial) * dvswitch (trivial) * gmp (copied result of `git merge`) The last item introduced gmp-5.0.3, thus full rebuild. +ensureDir->mkdir -p in TeX packages was catched by git but not svn. svn path=/nixpkgs/branches/stdenv-updates/; revision=32091
| * Update HOL Light to rev 122.Marco Maggesi2012-02-01
| | | | | | | | svn path=/nixpkgs/trunk/; revision=31956
* | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra2012-01-18
| | | | | | | | | | | | function, so obsolete it. svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
* | svn merge ^/nixpkgs/trunkYury G. Kudryashov2012-01-14
|\| | | | | | | svn path=/nixpkgs/branches/stdenv-updates/; revision=31567
| * Update HOL Light to rev 118Marco Maggesi2012-01-10
| | | | | | | | svn path=/nixpkgs/trunk/; revision=31468
* | svn merge ^/nixpkgs/trunkYury G. Kudryashov2012-01-04
|\| | | | | | | svn path=/nixpkgs/branches/stdenv-updates/; revision=31280
| * Update E proverMichael Raskin2012-01-04
| | | | | | | | svn path=/nixpkgs/trunk/; revision=31269
* | Merge trunkYury G. Kudryashov2012-01-02
|\| | | | | | | svn path=/nixpkgs/branches/stdenv-updates/; revision=31207
| * Oops!Marco Maggesi2011-12-28
| | | | | | | | svn path=/nixpkgs/trunk/; revision=31126
| * Update HOL Light to r116Marco Maggesi2011-12-28
| | | | | | | | svn path=/nixpkgs/trunk/; revision=31125
* | merge trunkYury G. Kudryashov2011-12-16
|\| | | | | | | | | | | A few conflicts due to renames svn path=/nixpkgs/branches/stdenv-updates/; revision=30947
| * Update HOL Light to rev 114Marco Maggesi2011-12-16
| | | | | | | | svn path=/nixpkgs/trunk/; revision=30922
* | * Sync with the trunk.Eelco Dolstra2011-12-12
|\| | | | | | | svn path=/nixpkgs/branches/stdenv-updates/; revision=30852
| * Update url for Isabelle2011Marco Maggesi2011-11-26
| | | | | | | | svn path=/nixpkgs/trunk/; revision=30574
| * adding camlp5 as a propogated build input to ulex 0.8Russell O'Connor2011-11-24
| | | | | | | | | | | | | | matita and ulex must build against the same version of camlp5, so in an attempt to force them to always be the same I am adding a propgatedBuildInput to ulex. Granted Matita still requires camlp5_traditional and this is less obvious in the matita file now, so I am not entirely sure this is the right design choice. svn path=/nixpkgs/trunk/; revision=30552
| * Updated HOL Light to revision 112Marco Maggesi2011-11-10
| | | | | | | | svn path=/nixpkgs/trunk/; revision=30369
* | synchronize with trunkPeter Simons2011-10-18
|\| | | | | | | svn path=/nixpkgs/branches/stdenv-updates/; revision=29870
| * Package for picosat.Russell O'Connor2011-10-17
| | | | | | | | svn path=/nixpkgs/trunk/; revision=29869
* | Merge from trunk up through r28790Shea Levy2011-08-24
|\| | | | | | | svn path=/nixpkgs/branches/stdenv-updates/; revision=28792
| * Update HOL Light to release 102Marco Maggesi2011-08-21
| | | | | | | | svn path=/nixpkgs/trunk/; revision=28718
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-10 19:43:33 +0000