Support HTTPS (TLS) for the ProveIt web site. This will be after it is up and
running on labs (issue 151). HTTP should continue to work, or forward to HTTPS
(preserving path and query string).
This includes changing the link in ProveIt itself to be protocol-relative.
Original issue reported on code.google.com by matthew....@gatech.edu on 7 Dec 2012 at 1:53
Original issue reported on code.google.com by
matthew....@gatech.edu
on 7 Dec 2012 at 1:53