David
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Poly/ML version 5.9 was officially released on Github last weekend.
There is a fixes-5.9 branch which already contains one fix, but that
just affects the interpreted version.
- [polyml] 5.9 released David Matthews
- Re: [polyml] 5.9 released Frank Pfenning
- Re: [polyml] 5.9 released Phil Clayton
- Re: [polyml] 5.9 released Matthew Fernandez
