src/Pure/General/csv.scala
2022-06-23 wenzelm more robust CSV syntax, e.g. for "pull_date";
2022-04-01 wenzelm clarified formatting, for the sake of scala3;
2021-03-01 wenzelm tuned --- fewer warnings;
2020-03-27 wenzelm misc tuning based on hints by IntelliJ IDEA;
2018-03-01 wenzelm support for CSV files;
less more (0) tip