summary refs log tree commit diff
path: root/pkgs/applications/science/logic/isabelle/default.nix
Commit message (Expand)AuthorAge
* isabelle: Use naproche from nixpkgsJan van Brügge2022-03-01
* Merge pull request #157843 from jvanbruegge/isabelle_setupGabriel Ebner2022-03-01
|\
| * isabelle: Rebuild isabelle_setup.jarJan van Brügge2022-02-14
* | treewide: switch all desktop file generators to new APIK9002022-02-25
|/
* maintainers: add jvanbrueggeJan van Brügge2022-01-19
* isabelle: Prebuild HOL sessionJan van Brügge2022-01-19
* isabelle: patch jni libs for nitpick1000teslas2022-01-11
* isabelle: patch zipperposition binary1000teslas2022-01-11
* isabelle: Use vampire and eprover from nixpkgsJan van Brügge2022-01-02
* isabelle: 2021 -> 2021-1Jan van Brügge2021-12-31
* isabelle: Add desktop entryJan van Brügge2021-07-19
* isabelle: 2020 -> 2021Jan van Brügge2021-07-18
* treewide: makeWrapper buildInputs to nativeBuildInputsBen Siraphob2021-02-19
* isabelle: provide perl LWP for remote_vampireJakub Kądziołka2021-01-28
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* FixupSohalt2020-06-05
* Correct licensesohalt2020-05-10
* use httpssohalt2020-05-10
* isabelle: 2018 -> 2020sohalt2020-05-08
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* isabelle: refactorGabriel Ebner2019-03-14
* isabelle: 2017 -> 2018Gabriel Ebner2019-03-12
* reewide: Purge all uses `stdenv.system` and top-level `system`John Ericson2018-08-30
* treewide: http -> https sources (#42676)Silvan Mosberger2018-06-28
* 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
* 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
* Update Isabelle to an existing tarball...Michael Raskin2011-04-20
* 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-05-03 17:23:33 +0000