Changes

Summary

clarified "isabelle build_polyml": download and build everything for current platform; renamed former "isabelle build_polyml" to "isabelle make_poly", for experimentation and diagnosis;

Changeset 77190:f6ba88f23135 by wenzelm: clarified "isabelle build_polyml": download and build everything for current platform;<br>renamed former "isabelle build_polyml" to "isabelle make_poly", for experimentation and diagnosis;
The file was modified	`src/Pure/Admin/build_polyml.scala` (diff)
The file was removed	`Admin/polyml/NOTES`
The file was removed	`Admin/polyml/README`
The file was removed	`Admin/polyml/settings`