#312 (Jul 16, 2016, 1:11:12 PM)

1. tuned proofs; (detail / hgweb)
2. re-use name space serial as unique (!) id; (detail / hgweb)
3. clarified; (detail / hgweb)
4. information about proof outline with cases (sendback); (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. more operations; (detail / hgweb)
7. singleton result for 'proof' command (without backtracking), e.g. relevant for well-defined output; (detail / hgweb)
8. unused; (detail / hgweb)
9. more structured edit, including indentation; (detail / hgweb)
10. clarified markup; (detail / hgweb)

Started by an SCM change