Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified date for presentation vs. formal pull_date;
  2. reveal raw data in CSV format;
  3. support for CSV files;
  4. tuned comment;
  5. clarified syntax: reject formal comments explicitly, instead of ignoring them silently;
Changeset 67739:e512938b853c by wenzelm:
clarified date for presentation vs. formal pull_date;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 67738:1bbe618c4b24 by wenzelm:
reveal raw data in CSV format;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 67737:8af6fcdc869d by wenzelm:
support for CSV files;
The file was addedsrc/Pure/General/csv.scala
The file was modified src/Pure/build-jars (diff)
Changeset 67736:65016740d3e0 by wenzelm:
tuned comment;
The file was modified src/Pure/General/json.scala (diff)
Changeset 67735:e2e002d4a4de by wenzelm:
clarified syntax: reject formal comments explicitly, instead of ignoring them silently;
The file was modified src/Pure/General/antiquote.ML (diff)