Vaibhav Sagar 9c3b994c49 Use Poly/ML 5.7 for Isabelle

2019-03-27 22:30:45 -04:00

..

5.6.nix

…

5.7.nix

Use Poly/ML 5.7 for Isabelle

2019-03-27 22:30:45 -04:00

default.nix

polyml: 5.7.1 -> 5.8

2019-03-27 21:51:49 -04:00