Summary
- more flexible date formats;
- support for isatest format;
- tuned;
The file was modified | src/Pure/General/date.scala (diff) |
The file was modified | src/Pure/Tools/build_log.scala (diff) |
The file was modified | src/Pure/Tools/build_log.scala (diff) |
The file was modified | src/Pure/General/date.scala (diff) |
The file was modified | src/Pure/Tools/build_log.scala (diff) |