| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-11-05 | muthu changes | Stratis Ioannidis | |
| 2012-11-05 | muthu changes | Stratis Ioannidis | |
| 2012-11-05 | abstract | Stratis Ioannidis | |
| 2012-11-05 | removed erroneous statement | Stratis Ioannidis | |
| 2012-11-05 | muthu conflict | Stratis Ioannidis | |
| 2012-11-05 | muthu commit | Stratis Ioannidis | |
| 2012-11-05 | muthu commit | Stratis Ioannidis | |
| 2012-11-05 | Merge branch 'master' of ssh://palosgit01/git/data_value | Stratis Ioannidis | |
| 2012-11-05 | related | Stratis Ioannidis | |
| 2012-11-05 | Spell check in main.tex | Thibaut Horel | |
| 2012-11-05 | General | Thibaut Horel | |
| 2012-11-05 | More fixes, reapply some lost changes overwritten by previous merge | Thibaut Horel | |
| 2012-11-05 | muthu conflict | Stratis Ioannidis | |
| 2012-11-05 | muthu fix edits | Stratis Ioannidis | |
| 2012-11-05 | muthu | Stratis Ioannidis | |
| 2012-11-05 | muthu | Stratis Ioannidis | |
| 2012-11-05 | Typos | Thibaut Horel | |
| 2012-11-05 | Fix references | Thibaut Horel | |
| 2012-11-05 | related | Stratis Ioannidis | |
| 2012-11-05 | Merge branch 'master' of ssh://74.95.195.229:1444/git/data_value | Stratis Ioannidis | |
| 2012-11-05 | gen | Stratis Ioannidis | |
| 2012-11-05 | gen | Stratis Ioannidis | |
| 2012-11-05 | optl | Stratis Ioannidis | |
| 2012-11-05 | muthu intro | Stratis Ioannidis | |
| 2012-11-05 | Merge branch 'master' of ssh://74.95.195.229:1444/git/data_value | Stratis Ioannidis | |
| 2012-11-05 | proof | Stratis Ioannidis | |
| 2012-11-04 | muthu untro | Stratis Ioannidis | |
| 2012-11-04 | opts | Stratis Ioannidis | |
| 2012-11-04 | muthu suggestions | Stratis Ioannidis | |
| 2012-11-04 | small stuff | Stratis Ioannidis | |
| 2012-11-04 | Merge branch 'master' of ssh://74.95.195.229:1444/git/data_value | Stratis Ioannidis | |
| 2012-11-04 | co | Stratis Ioannidis | |
| 2012-11-05 | Explain that we use threshold payments. Adapt the proof a little bit to take ↵ | Thibaut Horel | |
| this into account | |||
| 2012-11-04 | marginal contrib | Stratis Ioannidis | |
| 2012-11-04 | Merge branch 'master' of ssh://74.95.195.229:1444/git/data_value | Stratis Ioannidis | |
| 2012-11-04 | marginal contrib | Stratis Ioannidis | |
| 2012-11-05 | Fix missing references | Thibaut Horel | |
| 2012-11-04 | style stuff | Stratis Ioannidis | |
| 2012-11-04 | lower bound mentioned in frac rel | Stratis Ioannidis | |
| 2012-11-04 | proof intro | Stratis Ioannidis | |
| 2012-11-04 | proofofthm1 | Stratis Ioannidis | |
| 2012-11-04 | l8 | Stratis Ioannidis | |
| 2012-11-04 | xi | Stratis Ioannidis | |
| 2012-11-04 | $ | Stratis Ioannidis | |
| 2012-11-04 | Merge branch 'master' of ssh://74.95.195.229:1444/git/data_value | Stratis Ioannidis | |
| 2012-11-04 | budget | Stratis Ioannidis | |
| 2012-11-04 | Merge branch 'master' of ssh://74.95.195.229:1444/git/data_value | Thibaut Horel | |
| Conflicts: general.tex | |||
| 2012-11-04 | monotonicity | Stratis Ioannidis | |
| 2012-11-04 | ed | Stratis Ioannidis | |
| 2012-11-04 | One pass of the extensions | Thibaut Horel | |
