summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2012-11-05muthu changesStratis Ioannidis
2012-11-05muthu changesStratis Ioannidis
2012-11-05abstractStratis Ioannidis
2012-11-05removed erroneous statementStratis Ioannidis
2012-11-05muthu conflictStratis Ioannidis
2012-11-05muthu commitStratis Ioannidis
2012-11-05muthu commitStratis Ioannidis
2012-11-05Merge branch 'master' of ssh://palosgit01/git/data_valueStratis Ioannidis
2012-11-05relatedStratis Ioannidis
2012-11-05Spell check in main.texThibaut Horel
2012-11-05GeneralThibaut Horel
2012-11-05More fixes, reapply some lost changes overwritten by previous mergeThibaut Horel
2012-11-05muthu conflictStratis Ioannidis
2012-11-05muthu fix editsStratis Ioannidis
2012-11-05muthuStratis Ioannidis
2012-11-05muthuStratis Ioannidis
2012-11-05TyposThibaut Horel
2012-11-05Fix referencesThibaut Horel
2012-11-05relatedStratis Ioannidis
2012-11-05Merge branch 'master' of ssh://74.95.195.229:1444/git/data_valueStratis Ioannidis
2012-11-05genStratis Ioannidis
2012-11-05genStratis Ioannidis
2012-11-05optlStratis Ioannidis
2012-11-05muthu introStratis Ioannidis
2012-11-05Merge branch 'master' of ssh://74.95.195.229:1444/git/data_valueStratis Ioannidis
2012-11-05proofStratis Ioannidis
2012-11-04muthu untroStratis Ioannidis
2012-11-04optsStratis Ioannidis
2012-11-04muthu suggestionsStratis Ioannidis
2012-11-04small stuffStratis Ioannidis
2012-11-04Merge branch 'master' of ssh://74.95.195.229:1444/git/data_valueStratis Ioannidis
2012-11-04coStratis Ioannidis
2012-11-05Explain that we use threshold payments. Adapt the proof a little bit to take ...Thibaut Horel
2012-11-04marginal contribStratis Ioannidis
2012-11-04Merge branch 'master' of ssh://74.95.195.229:1444/git/data_valueStratis Ioannidis
2012-11-04marginal contribStratis Ioannidis
2012-11-05Fix missing referencesThibaut Horel
2012-11-04style stuffStratis Ioannidis
2012-11-04lower bound mentioned in frac relStratis Ioannidis
2012-11-04proof introStratis Ioannidis
2012-11-04proofofthm1Stratis Ioannidis
2012-11-04l8Stratis Ioannidis
2012-11-04xiStratis Ioannidis
2012-11-04$Stratis Ioannidis
2012-11-04Merge branch 'master' of ssh://74.95.195.229:1444/git/data_valueStratis Ioannidis
2012-11-04budgetStratis Ioannidis
2012-11-04Merge branch 'master' of ssh://74.95.195.229:1444/git/data_valueThibaut Horel
2012-11-04monotonicityStratis Ioannidis
2012-11-04edStratis Ioannidis
2012-11-04One pass of the extensionsThibaut Horel