summary refs log tree commit diff
path: root/pkgs/development/compilers/polyml
Commit message (Expand)AuthorAge
* Rename z77z into maggesiMarco Maggesi2019-10-07
* treewide: name -> pnamevolth2019-08-17
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* Use Poly/ML 5.7 for IsabelleVaibhav Sagar2019-03-27
* polyml: 5.7.1 -> 5.8Vaibhav Sagar2019-03-27
* treewide: http -> httpsRyan Mulligan2018-06-29
* polyml: 5.7 -> 5.7.1Ryan Mulligan2018-03-29
* isabelle: use polyml 5.6Gabriel Ebner2017-08-07
* polyml: autoreconfHook -> nativeBuildInputsEric Bailey2017-06-18
* polyml: enable libffi and gmpEric Bailey2017-06-18
* polyml: 5.6 -> 5.7Eric Bailey2017-06-17
* polyml: 5.5.2 -> 5.6Gabriel Ebner2016-02-23
* darwin purity: polymlJude Taylor2015-10-31
* isabelle: Version 2014 building on Linux and DarwinJohn Wiegley2014-09-30
* PolyML expression: Factorize version number in a separate variableMarco Maggesi2014-01-15
* Update PolyML to version 5.5.1Marco Maggesi2014-01-14
* polyml: fix bogus license attributePeter Simons2012-09-06
* Upgrade PolyML to version 5.4.1Marco Maggesi2012-09-04
* Update PolyML to version 5.4Marco Maggesi2011-05-13
* Add expression for PolyMLMarco Maggesi2009-12-10
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-06 14:47:09 +0000