about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/isabelle/default.nix
AgeCommit message (Expand)AuthorFilesLines
2023-10-06isabelle: 2022 -> 2023Jan van Brügge1-6/+5
2023-03-07isabelle: add aarch64-linux supportWeijia Wang1-5/+15
2022-12-06isabelle: fix build on MacOSJan van Brügge1-2/+3
2022-12-03isabelle: use prebuilt z3Jan van Brügge1-14/+8
2022-12-03isabelle: make withComponents function use finalAttrsJan van Brügge1-6/+6
2022-10-31isabelle: 2021-1 -> 2022Jan van Brügge1-17/+42
2022-06-23Merge pull request #176823 from risicle/ris-native-source-provenance-applicat...Rick van Schijndel1-0/+4
2022-06-23treewide/applications: add `sourceType` `binaryNativeCode` for many packagesRobert Scott1-0/+4
2022-06-23isabelle: Fix build on darwinShea Levy1-4/+12
2022-04-20isabelle: Make closer to upstreamJan van Brügge1-2/+31
2022-03-23isabelle: Add isabelle-linter as optional componentJan van Brügge1-1/+26
2022-03-01isabelle: Use naproche from nixpkgsJan van Brügge1-2/+3
2022-03-01Merge pull request #157843 from jvanbruegge/isabelle_setupGabriel Ebner1-1/+23
2022-02-25treewide: switch all desktop file generators to new APIK9001-1/+1
2022-02-14isabelle: Rebuild isabelle_setup.jarJan van Brügge1-1/+23
2022-01-19maintainers: add jvanbrueggeJan van Brügge1-1/+1
2022-01-19isabelle: Prebuild HOL sessionJan van Brügge1-1/+11
2022-01-11isabelle: patch jni libs for nitpick1000teslas1-12/+19
2022-01-11isabelle: patch zipperposition binary1000teslas1-1/+1
2022-01-02isabelle: Use vampire and eprover from nixpkgsJan van Brügge1-5/+15
2021-12-31isabelle: 2021 -> 2021-1Jan van Brügge1-8/+10
2021-07-19isabelle: Add desktop entryJan van Brügge1-1/+18
2021-07-18isabelle: 2020 -> 2021Jan van Brügge1-3/+5
2021-02-19treewide: makeWrapper buildInputs to nativeBuildInputsBen Siraphob1-1/+2
2021-01-28isabelle: provide perl LWP for remote_vampireJakub Kądziołka1-2/+4
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-1/+1
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-06-05FixupSohalt1-1/+1
2020-05-10Correct licensesohalt1-4/+4
2020-05-10use httpssohalt1-2/+2
2020-05-08isabelle: 2018 -> 2020sohalt1-6/+6
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-03-14isabelle: refactorGabriel Ebner1-17/+17
2019-03-12isabelle: 2017 -> 2018Gabriel Ebner1-12/+17
2018-08-30reewide: Purge all uses `stdenv.system` and top-level `system`John Ericson1-1/+1
2018-06-28treewide: http -> https sources (#42676)Silvan Mosberger1-1/+1
2017-10-10isabelle: 2016-1 -> 2017Gabriel Ebner1-4/+8
2017-01-11isabelle: 2016 -> 2016-1Etienne Laurin1-9/+15
2016-08-02treewide: Add lots of meta.platformsTuomas Tynkkynen1-0/+1
2016-02-23isabelle: 2015 -> 2016Gabriel Ebner1-15/+12
2016-02-03isabelle: 2014 -> 2015Sven Keidel1-7/+8
2015-06-21Isabelle: fix download URLVincent Laporte1-2/+2
2015-01-08Revert "Introduce patchShebangsPhase ran in preConfigurePhases"Domen Kožar1-0/+1
2015-01-02Introduce patchShebangsPhase ran in preConfigurePhasesDomen Kožar1-1/+0
2014-09-30isabelle: Version 2014 building on Linux and DarwinJohn Wiegley1-3/+8
2014-09-30isabelle: Another Linux hash change?John Wiegley1-1/+1
2014-09-30isabelle: Remove Linux patches (is this correct?)John Wiegley1-3/+1
2014-09-30isabelle: Correct the 2014 sha value for LinuxJohn Wiegley1-1/+1
2014-09-30isabelle: 2013 -> 2014, plus add darwin supportJohn Wiegley1-12/+17
2013-06-07Add package versions to some of the packages or fix existing ones to conform ...Evgeny Egorochkin1-7/+8
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-01 00:18:50 +0000