#1146 (Sep 2, 2017, 5:28:03 PM)

1. proper URL; (detail / hgweb)
2. VSCode extension for official Isabelle release; (detail / hgweb)
3. auto update; (detail / hgweb)
4. simplified README: this is for development version; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 1 hr 0 min build duration;
• 1 hr 5 min total from scheduled to completion.