Summary
- merged
- API for Isabelle Jenkins continuous integration services;
- more operations;
- support for JSON parsing;
The file was added | src/Pure/Tools/ci_api.scala |
The file was modified | Admin/etc/settings (diff) |
The file was modified | src/Pure/build-jars (diff) |
The file was modified | src/Pure/General/url.scala (diff) |
The file was added | src/Pure/General/json.scala |
The file was modified | src/Pure/build-jars (diff) |