summary refs log tree commit diff
path: root/pkgs/applications/science/logic/isabelle
Commit message (Expand)AuthorAge
* isabelle: 2016-1 -> 2017Gabriel Ebner2017-10-10
* isabelle: 2016 -> 2016-1Etienne Laurin2017-01-11
* treewide: Add lots of meta.platformsTuomas Tynkkynen2016-08-02
* isabelle: 2015 -> 2016Gabriel Ebner2016-02-23
* isabelle: 2014 -> 2015Sven Keidel2016-02-03
* Remove no longer (or never) referenced patchesTobias Geerinckx-Rice2016-01-24
* Isabelle: fix download URLVincent Laporte2015-06-21
* Revert "Introduce patchShebangsPhase ran in preConfigurePhases"Domen Kožar2015-01-08
* Introduce patchShebangsPhase ran in preConfigurePhasesDomen Kožar2015-01-02
* isabelle: Version 2014 building on Linux and DarwinJohn Wiegley2014-09-30
* isabelle: Another Linux hash change?John Wiegley2014-09-30
* isabelle: Remove Linux patches (is this correct?)John Wiegley2014-09-30
* isabelle: Correct the 2014 sha value for LinuxJohn Wiegley2014-09-30
* isabelle: 2013 -> 2014, plus add darwin supportJohn Wiegley2014-09-30
* Add package versions to some of the packages or fix existing ones to conform ...Evgeny Egorochkin2013-06-07
* Upgrade Isabelle proof assistant to version 2012Marco Maggesi2012-09-04
* * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra2012-01-18
* Update url for Isabelle2011Marco Maggesi2011-11-26
* Fix building of Isabelle2011Marco Maggesi2011-05-14
* Update Isabelle to an existing tarball...Michael Raskin2011-04-20
* Fix settings patch for IsabelleMichael Raskin2010-12-01
* Update IsabelleMichael Raskin2010-12-01
* svn path=/nixpkgs/trunk/; revision=22880Eelco Dolstra2010-08-02
* Add expression for Isabelle2009Marco Maggesi2009-12-11
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-07 10:48:40 +0000