| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-11-29 | docs: Reduce typo count (#5671) | Bruce Mitchener |
| 2024-11-11 | mention code formatting in contribution guidelines (#5514) | Ellie Hermaszewska |
| 2024-10-25 | Swap the term StdLib with Core-Module or Standard-Module in documents (#5414) | Jay Kwak |
| 2024-10-24 | Fix a few documentation typos (#5396) | cheneym2 |
| 2024-06-27 | Update the coding convention document. (#4498) | Jay Kwak |
| 2024-06-10 | Fix typos in the docs (#4322) | Anders Leino |
| 2023-04-14 | Some small fixes with Windows/DX usage (#2797) | Ellie Hermaszewska |
| 2018-12-10 | Tweak coding conventions (#747) | Tim Foley |
| 2018-12-06 | Add more design documents (#742) | Tim Foley |
