7 commits

Author	SHA1	Message	Date
John Wiegley	10e215a3ae	isabelle: Version 2014 building on Linux and Darwin	2014-09-30 23:15:31 -05:00
Marco Maggesi	e9e2e8ace6	PolyML expression: Factorize version number in a separate variable	2014-01-15 15:58:27 +01:00
Marco Maggesi	aa8f36e238	Update PolyML to version 5.5.1	2014-01-14 15:27:10 +01:00
Peter Simons	ef649da119	polyml: fix bogus license attribute	2012-09-06 18:46:54 +02:00
Marco Maggesi	264c528154	Upgrade PolyML to version 5.4.1	2012-09-04 12:02:18 +02:00
Marco Maggesi	bdace03143	Update PolyML to version 5.4 ... Also enable hydra build for linux svn path=/nixpkgs/trunk/; revision=27250	2011-05-13 15:55:05 +00:00
Marco Maggesi	adbaa14548	Add expression for PolyML ... svn path=/nixpkgs/trunk/; revision=18875	2009-12-10 13:16:06 +00:00