#604 (Apr 18, 2018, 12:50:07 AM)

1. Change of variables proof (detail / hgweb)
2. merged (detail / hgweb)
3. Vitali covering theorem (detail / hgweb)
4. updated to xz-java-1.8; (detail / hgweb)
5. updated windows_app to launch4j 3.11 and 7zsd_extra_171_3901.7z (reconstructed by Chris Lake); (detail / hgweb)
6. NEWS; (detail / hgweb)
7. updated to jedit-5.5.0;
   discontinued jedit_build/contrib/jEdit-patched.tar.gz -- its content is in directory jedit_build/contrib/jedit-5.5.0-patched/jEdit; (detail / hgweb)
8. more about measure (detail / hgweb)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 1 hr 19 min build duration;
• 1 hr 19 min total from scheduled to completion.