summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* 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
* Adding LEO2 automated higher-order proverMichael Raskin2010-12-01
* Fix settings patch for IsabelleMichael Raskin2010-12-01
* Update IsabelleMichael Raskin2010-12-01
* Fixing the verilog URL (contributed by Antonio Vargas)Lluís Batlle i Rossell2010-11-30
* Fix for the verilog package, from Antonio Vargas GonzalezLluís Batlle i Rossell2010-11-30
* Committing patch adding verilog from Antonio Vargas GonzalezLluís Batlle i Rossell2010-11-25
* pkgs/applications/science/math/maxima: fixed location of "info" and "man" dir...Peter Simons2010-11-05
* Update CoqMarco Maggesi2010-11-04
* Update HOL LightMarco Maggesi2010-11-03
* Adding canedaLluís Batlle i Rossell2010-10-24
* Adding qucsLluís Batlle i Rossell2010-10-24
* Update HOL Light to version 20100820 (rev57 on google code).Marco Maggesi2010-09-15
* Change the name of the coq derivation to coq-devel-8.3pre1Marco Maggesi2010-09-15
* Add coq-8.3rc1Marco Maggesi2010-09-14
* Improve hol_light:Marco Maggesi2010-09-08
* Fixing the catalan locale for kicad (it had the wrong encoding written)Lluís Batlle i Rossell2010-08-31
* Fixing kicad so it not only builds, but it also runs and finds the library of...Lluís Batlle i Rossell2010-08-31
* pkgs/applications/science/math/maxima: use a correct license tagPeter Simons2010-08-26
* pkgs/applications/science/logic/prover9: fixed trivial syntax errorPeter Simons2010-08-26
* pkgs/applications/science/math/wxmaxima: updated to version 0.8.6Peter Simons2010-08-26
* pkgs/applications/science/math/maxima: added license tagPeter Simons2010-08-26
* pkgs/applications/science/math/maxima: build this package on Unix'ish platfor...Peter Simons2010-08-26
* pkgs/applications/science/math/maxima: updated to version 5.22.1Peter Simons2010-08-26
* pkgs/applications/science/logic/prover9: updated homepage and licensePeter Simons2010-08-26
* pkgs/applications/science/logic/prover9: initial versionPeter Simons2010-08-26
* Fix installation for updated E prover releaseMichael Raskin2010-08-26
* Move E prover to applications/science/logicMichael Raskin2010-08-25
* pkgs/applications/science/logic/hol: initial versionPeter Simons2010-08-25
* Updating gtkwaveLluís Batlle i Rossell2010-08-24
* Adding KicadLluís Batlle i Rossell2010-08-22
* Adding tetgenLluís Batlle i Rossell2010-08-12
* Adding a yacas needed patch for it to buildLluís Batlle i Rossell2010-08-09
* Adding 'yacas', a CAS implemented in C++.Lluís Batlle i Rossell2010-08-09
* Update Coq to version 8.2pl2 (patch by roconnor)Marco Maggesi2010-08-05
* svn path=/nixpkgs/trunk/; revision=22880Eelco Dolstra2010-08-02
* * More cleanup.Eelco Dolstra2010-07-28
* ViTE from SVN.Ludovic Courtès2010-07-22
* Update Tulip. Unicode support should be available now.Michael Raskin2010-07-06
* Specifying golly licenseMichael Raskin2010-06-23
* Adding golly (a cellular automata program)Michael Raskin2010-06-23
* Updating ngspiceLluís Batlle i Rossell2010-06-21
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-30 20:44:30 +0000