summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* stellarium: build this package on Linux onlyPeter Simons2011-07-15
* gravit, stellarium: build software that depends on mesa only on mesa platformsPeter Simons2011-07-14
* wxmaxima: ensure that wxMaxima will find Maxima even if it's not in $PATHPeter Simons2011-07-13
* maxima: switch from clisp to sbcl, enable tk gui, and fix various impuritiesPeter Simons2011-07-13
* Added stellarium 0.11.0.Peter Simons2011-07-10
* gravit: enable support for lua 5.0.xPeter Simons2011-07-10
* gravit: added version 0.4.2Peter Simons2011-07-08
* xplanet: move expression into new category "astronomy"Peter Simons2011-07-08
* Added Eukleides, a geometry drawing language.Peter Simons2011-07-07
* Make tulip run without hassle. Unfortunately, some operations repeatably cras...Michael Raskin2011-07-01
* Update TulipMichael Raskin2011-07-01
* Adding TPTPMichael Raskin2011-06-15
* Update HOL Light to rev 92Marco Maggesi2011-06-14
* Update hol_light and cleanup:Marco Maggesi2011-05-21
* Fix building of Isabelle2011Marco Maggesi2011-05-14
* wxmaxima: updated to version 11.04.0Peter Simons2011-05-06
* maxima: updated to version 5.24.0Peter Simons2011-05-06
* * Typo in attribute. This broke --meta --xml evaluation.Eelco Dolstra2011-05-04
* adding ecm support to msieve.Russell O'Connor2011-04-23
* Adding ecm-6.2.3.Russell O'Connor2011-04-23
* Update HOL Light to r89Marco Maggesi2011-04-21
* Package for msieve.Russell O'Connor2011-04-21
* Update Isabelle to an existing tarball...Michael Raskin2011-04-20
* update coq to 8.3pl1Russell O'Connor2011-04-05
* Updating gtkwaveLluís Batlle i Rossell2011-03-22
* Added JAGS.Andres Löh2011-03-17
* Fix updated maxima buildMichael Raskin2011-02-08
* maxima: added buildInput 'texinfo' so that the reference documentation can be...Peter Simons2011-02-07
* pkgs/applications/science/math/wxmaxima/default.nix: fixed the sha256 checksumPeter Simons2011-02-07
* pkgs/applications/science/math/maxima: fixed the sha256 checksumPeter Simons2011-02-07
* pkgs/applications/science/math/wxmaxima: updated to version 0.8.7Peter Simons2011-02-07
* pkgs/applications/science/math/maxima: updated to version 5.23.2Peter Simons2011-02-07
* * Coq: fix compilation of coqide (path to lablgkt)Marco Maggesi2011-01-03
* Fix lablgtk referenceMichael Raskin2011-01-02
* Matita and its dependencies.Russell O'Connor2010-12-31
* * Sync with the trunk.Eelco Dolstra2010-12-28
|\
| * * Handle variable createFindlibDestdir correctly in ocaml-findlibMarco Maggesi2010-12-23
* | * Sync with the trunk.Eelco Dolstra2010-12-21
|\|
| * * Update camlp5Marco Maggesi2010-12-20
* | SimGrid 3.5.Ludovic Courtès2010-12-17
* | Updating from trunk. I resolved simple conflicts.Lluís Batlle i Rossell2010-12-11
|\|
| * Adding MiniSATMichael Raskin2010-12-05
| * Adding PARI/GPMichael Raskin2010-12-05
| * Fix installation layoutMichael Raskin2010-12-05
| * Missing Singular filesMichael Raskin2010-12-05
| * Adding OpenSMTMichael Raskin2010-12-05
| * Adding CVC3 satisfiability modulo theory (SMT) solverMichael Raskin2010-12-05
| * Adding iProverMichael Raskin2010-12-04
| * Adding SPASSMichael Raskin2010-12-04
| * Adding Satallax proverMichael Raskin2010-12-03
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-07 14:22:27 +0000