Ticket #704: global_proof2.hg

File global_proof2.hg, 8.6 KB (added by David Roe, 15 years ago)

Fixed indentation

HTML preview not available, since no preview renderer could handle it. Try downloading the file instead.