BranchCommit messageAuthorAge
masterClarify the decimal lack and name change in the text.Jason Riedy2 years
AgeCommit messageAuthorFilesLines
2016-10-12Clarify the decimal lack and name change in the text.HEADmasterJason Riedy3-6/+9
2016-10-12Add the action items as resolved issues.Jason Riedy3-26/+58
2016-09-23First pass to address Michel Hack's request for explanation.Jason Riedy3-6/+9
2016-09-23Change "extending" to "augmenting," ops to "augmented*"Jason Riedy3-223/+198
2016-09-22Minor twiddle.Jason Riedy3-17/+21
2016-09-20Cleaning up.Jason Riedy3-37/+7
2016-09-20Fix capitalization.Jason Riedy3-8/+8
2016-09-20Re-export.Jason Riedy2-24/+70
2016-09-20Move issue to resolved. Only one small one left.Jason Riedy1-8/+16
2016-08-24Remove Clause 9.1 preferred exponent change.Jason Riedy3-35/+13