Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. clarified output: avoid confusion with line:column notation;
  2. clarified JSON operations (see isabelle_vscode/a7931dc2a1ab);
  3. updated Poly/ML repository test version (08-Dec-2016);
Changeset 64546:134ae7da2ccf by wenzelm:
clarified output: avoid confusion with line:column notation;
The file was modified src/Pure/PIDE/text.scala (diff)
Changeset 64545:25045094d7bb by wenzelm:
clarified JSON operations (see isabelle_vscode/a7931dc2a1ab);
The file was modified src/Pure/Admin/ci_api.scala (diff)
The file was modified src/Pure/General/json.scala (diff)
Changeset 64544:d23b7c9b9dd4 by wenzelm:
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 removedAdmin/polyml/build