Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-05-10 | Add: formatted version | Lars Wirzenius | 1 | -0/+0 |
2019-05-10 | Add: note that GIVEN cleanups are always done, and in reverse order | Lars Wirzenius | 1 | -0/+0 |
2019-05-10 | Change: first all ASSUMINGs, then all USINGs, then the rest | Lars Wirzenius | 1 | -0/+0 |
2019-05-10 | Change: heading, subheadings, and end of scenario | Lars Wirzenius | 1 | -0/+0 |
2019-05-04 | Fix: delete temporary file | Lars Wirzenius | 1 | -0/+0 |
2019-05-04 | Change: updated PDF | Lars Wirzenius | 1 | -0/+0 |
2019-05-04 | Fix: get date from git into document | Lars Wirzenius | 1 | -0/+0 |
2019-05-03 | Change: write most of the first full draft of Saga doc | Lars Wirzenius | 1 | -0/+0 |