21 commits

Author	SHA1	Message	Date
Gabriel Ebner	87b0a41ac5	isabelle: 2015 -> 2016	2016-02-23 14:19:13 +01:00
Sven Keidel	ca21ae0eda	isabelle: 2014 -> 2015 ... Picked from #8510. /cc maintainer @jwiegley.	2016-02-03 13:51:35 +01:00
Tobias Geerinckx-Rice	32d40f0f98	Remove no longer (or never) referenced patches ... 55 files changed, 6041 deletions. Tested with `nix-build -A tarball`.	2016-01-24 02:02:21 +01:00
Vincent Laporte	542d20384f	Isabelle: fix download URL	2015-06-21 00:45:38 +02:00
Domen Kožar	9b7b2ce8eb	Revert "Introduce patchShebangsPhase ran in preConfigurePhases" ... This reverts commit 512fbb280f. See #5368	2015-01-08 10:26:49 +01:00
Domen Kožar	512fbb280f	Introduce patchShebangsPhase ran in preConfigurePhases ... (cherry picked from commit 91c7e8747af1fdc2a70cd98594ccbb12a5c6902d) Signed-off-by: Domen Kožar <domen@dev.si>	2015-01-02 02:58:32 +01:00
John Wiegley	10e215a3ae	isabelle: Version 2014 building on Linux and Darwin	2014-09-30 23:15:31 -05:00
John Wiegley	57b292fb1b	isabelle: Another Linux hash change?	2014-09-30 16:44:15 -05:00
John Wiegley	5a7ce1185b	isabelle: Remove Linux patches (is this correct?)	2014-09-30 16:41:47 -05:00
John Wiegley	8d9cd1557b	isabelle: Correct the 2014 sha value for Linux	2014-09-30 16:15:34 -05:00
John Wiegley	db690f28a3	isabelle: 2013 -> 2014, plus add darwin support	2014-09-30 12:57:30 -05:00
Evgeny Egorochkin	9c6f7cc9c1	Add package versions to some of the packages or fix existing ones to conform to nixpkgs conventions.	2013-06-07 03:15:45 +03:00
Marco Maggesi	286d068b37	Upgrade Isabelle proof assistant to version 2012	2012-09-04 14:34:31 +02:00
Eelco Dolstra	c556a6ea46	* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless ... function, so obsolete it. svn path=/nixpkgs/branches/stdenv-updates/; revision=31644	2012-01-18 20:16:00 +00:00
Marco Maggesi	bf394d80ec	Update url for Isabelle2011 ... svn path=/nixpkgs/trunk/; revision=30574	2011-11-26 18:45:15 +00:00
Marco Maggesi	8e5beab31f	Fix building of Isabelle2011 ... svn path=/nixpkgs/trunk/; revision=27253	2011-05-14 21:09:57 +00:00
Michael Raskin	b4faf64bae	Update Isabelle to an existing tarball... ... svn path=/nixpkgs/trunk/; revision=26903	2011-04-20 12:24:34 +00:00
Michael Raskin	373fabf1c0	Fix settings patch for Isabelle ... svn path=/nixpkgs/trunk/; revision=24951	2010-12-01 21:29:20 +00:00
Michael Raskin	b89881d098	Update Isabelle ... svn path=/nixpkgs/trunk/; revision=24950	2010-12-01 21:25:21 +00:00
Eelco Dolstra	cc84ac9e84	svn path=/nixpkgs/trunk/; revision=22880	2010-08-02 16:01:55 +00:00
Marco Maggesi	98aaa4421c	Add expression for Isabelle2009 ... svn path=/nixpkgs/trunk/; revision=18905	2009-12-11 17:00:52 +00:00