| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Rules: small fixes | Tom Smeding | 2025-03-26 |
| * | Update rules.tex | Tom Smeding | 2025-03-26 |
| * | rules: Attempt at merge/accum parameterised transformationevm | Tom Smeding | 2024-08-29 |
| * | Type up some of the rules in LaTeX | Tom Smeding | 2024-08-29 |
 |
index : chad-fast | |
| [no description] | git daemon user |
| summaryrefslogtreecommitdiff |