#203 (Dec 11, 2016, 12:50:07 AM)

1. clarified output: avoid confusion with line:column notation; (detail / hgweb)
2. clarified JSON operations (see isabelle_vscode/a7931dc2a1ab); (detail / hgweb)
3. updated Poly/ML repository test version (08-Dec-2016); (detail / hgweb)

Started by an SCM change

This run spent:

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