Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. NEWS;
  2. updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1);
  3. tuned;
Changeset 71493:4c3eedc8e0f7 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 71492:a296d3697e50 by wenzelm:
updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1);
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
Changeset 71491:0a20dd339a05 by wenzelm:
tuned;
The file was modified ANNOUNCE (diff)