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 |
|