Michael Raskin
4140dc2628
Updating EKRHuper
2013-11-25 10:59:35 +04:00
Karn Kallio
6c32416a31
Fix HOL documentation build
2013-11-16 03:43:38 +02:00
Tom Ridge
f13bcf6463
HOL: update to k.8
2013-11-16 02:52:36 +02:00
Eelco Dolstra
c88055e1a2
Set meta.hydraPlatforms instead of meta.platforms for some packages
2013-11-05 00:06:10 +01:00
Michael Raskin
6944de0f94
Updating EProver to 1.8
2013-10-20 21:03:04 +04:00
Michael Raskin
70f609acbf
Updating Ekrhyper
2013-10-20 21:02:37 +04:00
Peter Simons
7e06522645
hol: fix access to dot
...
Committing on behalf of Karn Kallio <tierpluspluslists@skami.org>.
2013-10-11 10:20:37 +02:00
Peter Simons
0ae1a8b847
hol: update to version k.8
...
Committing on behalf of Tom Ridge <tom.j.ridge@googlemail.com>.
2013-10-10 12:00:12 +02:00
Bjørn Forsman
083d0890f5
More description fixes
...
* Remove package name
* Start with upper case letter
* Remove trailing period
Also reword some descriptions and move some long descriptions to
longDescription.
I'm not touching generated packages.
2013-10-06 12:01:38 +02:00
Gergely Risko
b43347342b
Add platforms to coq, so it's built on Hydra
2013-08-28 21:35:07 +02:00
Russell O'Connor
3538f7c549
Update download link for ssreflect.
2013-07-14 23:41:55 -04:00
Evgeny Egorochkin
0f99aace03
ssreflect: fix url
2013-07-14 02:08:54 +03:00
Russell O'Connor
c9f5959285
Update Coq to version 8.4pl2.
2013-06-14 12:16:52 -04:00
Evgeny Egorochkin
9c6f7cc9c1
Add package versions to some of the packages or fix existing ones to conform to nixpkgs conventions.
2013-06-07 03:15:45 +03:00
Michael Raskin
9d92fe013e
Adding E-KRHyper theorem prover
2013-05-09 17:47:58 +04:00
Michael Raskin
646868b2e6
Adding Otter theorem prover. The development is frozen, but because of that Otter is considered a very reliable prover from soundness point of view.
2013-05-09 12:23:27 +04:00
Michael Raskin
e7b491a7e1
Update E prover
2013-04-21 16:30:40 +04:00
Marco Maggesi
fa2d85fded
Update HOL Light to rev 157
2013-03-25 10:56:57 +01:00
Michael Raskin
d5288c7e3a
TPTP had a bugfix without version change
2013-03-09 14:24:45 +04:00
Marco Maggesi
42a4178c2b
Update HOL Light to revision 155
2013-02-08 15:26:35 +01:00
Marco Maggesi
34411286a6
Update HOL Light to revision 154
2013-02-08 15:20:06 +01:00
Eelco Dolstra
f286cc65b1
Fix bad URLs lacking a scheme
2013-01-14 18:26:46 +01:00
Michael Raskin
b31e6aa794
Merge pull request #231 from RSzibele/master
...
Added Logisim 2.7.1
2012-12-27 06:32:03 -08:00
RSzibele
fcdf685793
Added Logisim-2.7.1.
2012-12-27 16:25:39 +01:00
Marco Maggesi
49e4824b8a
Update HOL Light (and fix installation)
2012-12-23 18:46:09 +01:00
Michael Raskin
1c3434cc16
Update E prover
2012-12-09 00:36:38 +04:00
Russell O'Connor
46d9146d64
Update SSReflect to version 1.4
2012-09-10 23:15:54 +02:00
Marco Maggesi
286d068b37
Upgrade Isabelle proof assistant to version 2012
2012-09-04 14:34:31 +02:00
Russell O'Connor
525b8015e7
Fixing configure patch for coq 8.3.
2012-08-19 01:11:11 -04:00
Russell O'Connor
eafd2008f1
Correcting filename.
2012-08-19 01:06:15 -04:00
Russell O'Connor
706cbc9318
Update coq to 8.4
2012-08-19 01:01:30 -04:00
Michael Raskin
2331ea4ec2
TPTP: update to 5.4.0
2012-07-07 20:32:48 +04:00
Marco Maggesi
5ca0b381e0
Update HOL Light to rev 141
...
svn path=/nixpkgs/trunk/; revision=34290
2012-05-30 20:53:13 +00:00
Russell O'Connor
dace27b4c4
Revert accidentaly patch of ssreflect.
...
svn path=/nixpkgs/trunk/; revision=34264
2012-05-28 20:57:54 +00:00
Russell O'Connor
417a07a0e9
Updatings ssreflect to depend on camlp5 version 6.
...
svn path=/nixpkgs/trunk/; revision=34263
2012-05-28 20:53:17 +00:00
Russell O'Connor
f02a71103a
add support to make building coqide optional.
...
svn path=/nixpkgs/trunk/; revision=34262
2012-05-28 19:45:14 +00:00
Russell O'Connor
cfc8538326
Updating coq and ssreflect to patch level 4.
...
svn path=/nixpkgs/trunk/; revision=34146
2012-05-16 22:04:02 +00:00
Marco Maggesi
2cef87022c
Update HOL Light to r134
...
svn path=/nixpkgs/trunk/; revision=33992
2012-05-05 16:46:53 +00:00
Michael Raskin
304facbf3b
Adding LCI lambda calculus interpreter
...
svn path=/nixpkgs/trunk/; revision=33962
2012-05-01 05:07:39 +00:00
Michael Raskin
dd3ef46cac
Update TPTP
...
svn path=/nixpkgs/trunk/; revision=33754
2012-04-12 07:23:52 +00:00
Russell O'Connor
bba264d897
Adding forgotten configure_130312 patch for matitia.
...
svn path=/nixpkgs/trunk/; revision=33433
2012-03-26 19:11:25 +00:00
Russell O'Connor
ec5dda12d2
Reparing stable build of Matita.
...
Also correcting the version and simplifying the prerelease package of Matita.
svn path=/nixpkgs/trunk/; revision=33420
2012-03-25 21:27:30 +00:00
Russell O'Connor
510308e039
Adding a package for a preview release of Matita.
...
svn path=/nixpkgs/trunk/; revision=33418
2012-03-25 20:43:00 +00:00
Russell O'Connor
f9a5fa373e
Upgrading HOL4 to version k.7.
...
svn path=/nixpkgs/trunk/; revision=33306
2012-03-20 19:11:22 +00:00
Marco Maggesi
dba8b32385
Update HOL Light to rev 128
...
svn path=/nixpkgs/trunk/; revision=33196
2012-03-17 16:36:36 +00:00
Marco Maggesi
699de0f3f9
Fix building of Coq and update to version 8.3pl3. (Forgot to save files)
...
svn path=/nixpkgs/trunk/; revision=33195
2012-03-17 16:30:23 +00:00
Marco Maggesi
af37461b11
Fix building of Coq and update to version 8.3pl3.
...
svn path=/nixpkgs/trunk/; revision=33194
2012-03-17 16:26:20 +00:00
Yury G. Kudryashov
215a07c1a9
svn merge ^/nixpkgs/trunk
...
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
2012-02-06 23:03:12 +00:00
Marco Maggesi
7c90b6a9bc
Update HOL Light to rev 122.
...
svn path=/nixpkgs/trunk/; revision=31956
2012-02-01 14:37:50 +00:00
Eelco Dolstra
c556a6ea46
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
...
function, so obsolete it.
svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
2012-01-18 20:16:00 +00:00
