about summary refs log tree commit diff
path: root/pkgs/development/compilers/polyml
AgeCommit message (Expand)AuthorFilesLines
2019-08-17treewide: name -> pnamevolth1-1/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth2-2/+2
2019-03-27Use Poly/ML 5.7 for IsabelleVaibhav Sagar1-0/+38
2019-03-27polyml: 5.7.1 -> 5.8Vaibhav Sagar1-2/+2
2018-06-29treewide: http -> httpsRyan Mulligan2-2/+2
2018-03-29polyml: 5.7 -> 5.7.1Ryan Mulligan1-2/+2
2017-08-07isabelle: use polyml 5.6Gabriel Ebner1-0/+33
2017-06-18polyml: autoreconfHook -> nativeBuildInputsEric Bailey1-2/+3
2017-06-18polyml: enable libffi and gmpEric Bailey1-2/+9
2017-06-17polyml: 5.6 -> 5.7Eric Bailey1-15/+12
2016-02-23polyml: 5.5.2 -> 5.6Gabriel Ebner1-2/+2
2015-10-31darwin purity: polymlJude Taylor1-1/+7
2014-09-30isabelle: Version 2014 building on Linux and DarwinJohn Wiegley1-2/+2
2014-01-15PolyML expression: Factorize version number in a separate variableMarco Maggesi1-2/+6
2014-01-14Update PolyML to version 5.5.1Marco Maggesi1-7/+3
2012-09-06polyml: fix bogus license attributePeter Simons1-1/+1
2012-09-04Upgrade PolyML to version 5.4.1Marco Maggesi1-6/+5
2011-05-13Update PolyML to version 5.4Marco Maggesi1-2/+6
2009-12-10Add expression for PolyMLMarco Maggesi1-0/+24
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-08 15:03:28 +0000