aboutsummaryrefslogtreecommitdiff
path: root/src/priv-history.tex
AgeCommit message (Expand)AuthorFilesLines
2017-03-19Excised H-mode from spec.Krste Asanovic1-12/+5
2017-02-27Fix typoAndrew Waterman1-1/+2
2017-02-25Add Paolo to acknowledgementsAndrew Waterman1-1/+1
2017-02-24Clarify that traps don't delegate downwardsAndrew Waterman1-2/+3
2017-02-01Reorganize directory structureAndrew Waterman1-0/+34