![[Jenkins]](/jenkins/static/51af4dc4/images/svgs/logo.svg){kind=logo}
Summary
- updated Poly/ML repository test version (08-Dec-2016);
| The file was modified | Admin/components/components.sha1 (diff) |
| The file was modified | Admin/polyml/README (diff) |
| The file was modified | Admin/polyml/settings (diff) |
| The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
| The file was removed | Admin/polyml/build |