| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | changes | 2026-02-23 | 1 | -6/+7 | |
| | | |||||
| * | mb | 2026-02-23 | 1 | -1/+1 | |
| | | |||||
| * | some&all + symbol shortcuts | 2026-02-23 | 1 | -1/+12 | |
| | | |||||
| * | new defs | 2026-01-03 | 1 | -1/+5 | |
| | | |||||
| * | symbol count + complete dictionary | 2026-01-02 | 1 | -3/+19 | |
| | | |||||
| * | typeof axiom | 2026-01-02 | 1 | -1/+2 | |
| | | |||||
| * | tempo update | 2026-01-01 | 1 | -3/+13 | |
| | | |||||
| * | changes | 2025-12-30 | 1 | -0/+27 | |
