| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-03-27 | remove unused functions normalise(), wff(), and norm1() | Jakob Kaivo |
| 2022-03-27 | more idiomaticization | Jakob Kaivo |
| 2022-03-27 | adjust formatting to something resembling idiomatic C | Jakob Kaivo |
| 2022-03-04 | import Miranda 2.066 from upstream | Jakob Kaivo |
 |
index : miranda | |
| the Miranda programming language - see www.miranda.org.uk |
| summaryrefslogtreecommitdiff |