Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. more robust CSV syntax, e.g. for "pull_date";
Changeset 75606:0f7cb6cd08fe by wenzelm:
more robust CSV syntax, e.g. for "pull_date";
The file was modified src/Pure/General/csv.scala