ProveIt should link to website

google-code-backups / proveit-js

Automatically exported from code.google.com/p/proveit-js

0 stars 0 forks source link

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago

The ProveIt logo on ProveIt itself should be a link to 
http://proveit.cc.gatech.edu rather than the ELC Lab website.

Original issue reported on code.google.com by kurt.luther on 20 Nov 2010 at 5:12

GoogleCodeExporter commented 8 years ago

This issue was closed by revision a73cc9a01c.

Original comment by matthew....@gatech.edu on 21 Nov 2010 at 1:32