summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Collapse)AuthorAge
...
| * Update LEO-IIMichael Raskin2011-08-05
| | | | | | | | svn path=/nixpkgs/trunk/; revision=28180
| * Adding TPTPMichael Raskin2011-06-15
| | | | | | | | svn path=/nixpkgs/trunk/; revision=27468
| * Update HOL Light to rev 92Marco Maggesi2011-06-14
| | | | | | | | svn path=/nixpkgs/trunk/; revision=27459
| * Update hol_light and cleanup:Marco Maggesi2011-05-21
| | | | | | | | | | | | | | | | * Update hol_light to rev 90 * Remove dmtcp checkpoint (it doesn't work properly). * General cleanup and simplification svn path=/nixpkgs/trunk/; revision=27290
| * Fix building of Isabelle2011Marco Maggesi2011-05-14
| | | | | | | | svn path=/nixpkgs/trunk/; revision=27253
| * Update HOL Light to r89Marco Maggesi2011-04-21
| | | | | | | | svn path=/nixpkgs/trunk/; revision=26916
| * Update Isabelle to an existing tarball...Michael Raskin2011-04-20
| | | | | | | | svn path=/nixpkgs/trunk/; revision=26903
| * update coq to 8.3pl1Russell O'Connor2011-04-05
| | | | | | | | | | | | update ssreflect to 1.3pl1 svn path=/nixpkgs/trunk/; revision=26692
| * * Coq: fix compilation of coqide (path to lablgkt)Marco Maggesi2011-01-03
| | | | | | | | svn path=/nixpkgs/trunk/; revision=25360
| * Fix lablgtk referenceMichael Raskin2011-01-02
| | | | | | | | svn path=/nixpkgs/trunk/; revision=25341
| * Matita and its dependencies.Russell O'Connor2010-12-31
|/ | | | svn path=/nixpkgs/trunk/; revision=25328
* * Sync with the trunk.Eelco Dolstra2010-12-28
|\ | | | | | | svn path=/nixpkgs/branches/stdenv-updates/; revision=25308
| * * Handle variable createFindlibDestdir correctly in ocaml-findlibMarco Maggesi2010-12-23
| | | | | | | | | | | | * Fix HOL Light derivation svn path=/nixpkgs/trunk/; revision=25269
* | * Sync with the trunk.Eelco Dolstra2010-12-21
|\| | | | | | | svn path=/nixpkgs/branches/stdenv-updates/; revision=25225
| * * Update camlp5Marco Maggesi2010-12-20
| | | | | | | | svn path=/nixpkgs/trunk/; revision=25206
* | Updating from trunk. I resolved simple conflicts.Lluís Batlle i Rossell2010-12-11
|\| | | | | | | svn path=/nixpkgs/branches/stdenv-updates/; revision=25061
| * Adding MiniSATMichael Raskin2010-12-05
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24984
| * Adding OpenSMTMichael Raskin2010-12-05
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24978
| * Adding CVC3 satisfiability modulo theory (SMT) solverMichael Raskin2010-12-05
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24975
| * Adding iProverMichael Raskin2010-12-04
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24969
| * Adding SPASSMichael Raskin2010-12-04
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24967
| * Adding Satallax proverMichael Raskin2010-12-03
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24963
| * Adding LEO2 automated higher-order proverMichael Raskin2010-12-01
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24952
| * Fix settings patch for IsabelleMichael Raskin2010-12-01
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24951
| * Update IsabelleMichael Raskin2010-12-01
| | | | | | | | svn path=/nixpkgs/trunk/; revision=24950
* | Use a patch to fix make 3.82 build of CoqMichael Raskin2010-11-23
|/ | | | svn path=/nixpkgs/branches/stdenv-updates/; revision=24817
* Update CoqMarco Maggesi2010-11-04
| | | | svn path=/nixpkgs/trunk/; revision=24597
* Update HOL LightMarco Maggesi2010-11-03
| | | | svn path=/nixpkgs/trunk/; revision=24591
* Update HOL Light to version 20100820 (rev57 on google code).Marco Maggesi2010-09-15
| | | | | | | | | | | | | | | | | | | | Also replace the monolitic derivation hol_light_binaries with smaller derivations. Now the installation works as follows: # Install the base system and a script "start_hol_light" $ nix-env -i hol_light_sources hol_light # Install a checkpointed executable with the core library preloaded $ nix-env -i hol_light_core_dmtcp # Install HOL Light binaries preloaded with other specific libraries: $ nix-env -i hol_light_multivariate_dmtcp $ nix-env -i hol_light_complex_dmtcp $ nix-env -i hol_light_sosa_dmtcp $ nix-env -i hol_light_card_dmtcp svn path=/nixpkgs/trunk/; revision=23815
* Change the name of the coq derivation to coq-devel-8.3pre1Marco Maggesi2010-09-15
| | | | | | | | | | | | i.e., remove the version from the name. Nix has its own mechanism to prevent a packages to be upgraded. Instead we distinguish development version (coq-dev-VERSION) from stable versions (coq-VERSION). Also remove derivation for coq-8.3-beta0-1 which is now superseded by coq-devel-8.3pre1. svn path=/nixpkgs/trunk/; revision=23813
* Add coq-8.3rc1Marco Maggesi2010-09-14
| | | | | | | | | | | | | Note: In this version we introduce a new schema for the name of the coq derivations where the coq version is included in the name (i.e., "coq8.3-8.3pre1" instead of "coq-8.3pre1"). The reason for this is that often coq releases introduce several incompatibilities. Thus I argue that, in general, users do not want nix-env to upgrade automatically form one release to another. Also version string "8.3pre1" is used instead of "8.3-rc1" to trigger the nix mechanism for versions comparison. svn path=/nixpkgs/trunk/; revision=23803
* Improve hol_light:Marco Maggesi2010-09-08
| | | | | | | | | | | | * Upgrade hol_light to the latest svn version on google code (r57). * Improve and semplify the mechanism for the generation of checkpointed binaries. * Make hol to work with camlp5 and thus with recent version of ocaml (>=3.10, <=3.11). * Remove ocaml_with_sources which is not needed anymore. svn path=/nixpkgs/trunk/; revision=23685
* pkgs/applications/science/logic/prover9: fixed trivial syntax errorPeter Simons2010-08-26
| | | | svn path=/nixpkgs/trunk/; revision=23453
* pkgs/applications/science/logic/prover9: updated homepage and licensePeter Simons2010-08-26
| | | | svn path=/nixpkgs/trunk/; revision=23447
* pkgs/applications/science/logic/prover9: initial versionPeter Simons2010-08-26
| | | | svn path=/nixpkgs/trunk/; revision=23446
* Fix installation for updated E prover releaseMichael Raskin2010-08-26
| | | | svn path=/nixpkgs/trunk/; revision=23435
* Move E prover to applications/science/logicMichael Raskin2010-08-25
| | | | svn path=/nixpkgs/trunk/; revision=23434
* pkgs/applications/science/logic/hol: initial versionPeter Simons2010-08-25
| | | | svn path=/nixpkgs/trunk/; revision=23430
* Update Coq to version 8.2pl2 (patch by roconnor)Marco Maggesi2010-08-05
| | | | svn path=/nixpkgs/trunk/; revision=22971
* svn path=/nixpkgs/trunk/; revision=22880Eelco Dolstra2010-08-02
|
* pkgs/applications/science/logic/coq: install coqide librariesPeter Simons2010-05-18
| | | | | | Patch courtesy of Russell O'Connor. svn path=/nixpkgs/trunk/; revision=21838
* Add expression for Coq 8.3 betaMarco Maggesi2010-05-11
| | | | svn path=/nixpkgs/trunk/; revision=21734
* Add HOL Light and its dependencies.Marco Maggesi2010-02-15
| | | | | | | | | | | | | Add pkgs/applications/science/logic/hol_light and pkgs/applications/science/emacs-modes/hol_light Some functionalities of HOL Light requires the compiled sources of OCaml. For now we provide a new package ocaml_with_sources. After this shuold be merged with the current version of OCaml already present in nixpkgs. svn path=/nixpkgs/trunk/; revision=20008
* Add expression for Isabelle2009Marco Maggesi2009-12-11
| | | | svn path=/nixpkgs/trunk/; revision=18905
* Preliminary version of package ssreflectMarco Maggesi2009-11-05
| | | | | | | | Add expression for ssreflect, an extension to the Coq Proof Assistant. Still has some clitches (see TODO in default.nix) but is usable anyway. svn path=/nixpkgs/trunk/; revision=18145
* Updated Coq to version 8.2pl1Marco Maggesi2009-11-02
| | | | svn path=/nixpkgs/trunk/; revision=18069
* Added a preliminary expression for Coq (no IDE support yet).Andres Löh2008-06-04
svn path=/nixpkgs/trunk/; revision=11983
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-28 18:17:54 +0000