descriptionUnnamed repository; edit this file to name it for gitweb.
ownergit version control
last changeMon, 14 Jun 2010 01:33:18 +0000
shortlog
2010-06-14 Samuel Goldstein A few pending trivial changes master
2009-09-15 Samuel Goldstein Fix for unwanted status change.
2009-09-05 Samuel Goldstein bumped version number
2009-09-05 Samuel Goldstein Fixed egregiously stupid bug. next time, I solelmnly ...
2009-09-05 Samuel Goldstein Bump version
2009-09-05 Samuel Goldstein Fix to prevent status changes from affecting wrong ...
2009-09-02 Samuel Goldstein Fixed absolute url for javascript that was screwing ...
2009-09-02 Samuel Goldstein Further hiding of empty job status lines
2009-09-02 Samuel Goldstein Fix for replaced files
2009-08-27 Samuel Goldstein First attempt at setting up proofs to work according ...
2009-08-23 Samuel Goldstein Assorted fixes; new seen/unseen indicator for proofs
2009-08-18 Samuel Goldstein Release 1.0.17; stupidly failed to branch first, but ...
2009-07-12 Samuel Goldstein Bumped version number
2009-07-12 Samuel Goldstein Fixes for [#3676] Proof Review (Client Side) shows ...
2009-07-09 Samuel Goldstein No longer clobbers clock image on update
2009-06-17 Samuel Goldstein Fixes for FR 3529 and FR 3535
...
heads
9 years ago master