|
image.typ
|
Rename `margins` to `margin`
|
2022-11-19 23:33:33 +01:00 |
|
line.typ
|
Sum color and length into stroke
|
2022-04-09 12:02:35 +02:00 |
|
shape-aspect.typ
|
Rename `margins` to `margin`
|
2022-11-19 23:33:33 +01:00 |
|
shape-circle.typ
|
Outset; fix folding
|
2022-05-01 14:56:07 +02:00 |
|
shape-ellipse.typ
|
Tests for the new shape API
|
2022-05-02 18:25:53 +02:00 |
|
shape-fill-stroke.typ
|
Tests for the new shape API
|
2022-05-02 18:25:53 +02:00 |
|
shape-rect.typ
|
Show it!
|
2022-11-07 12:46:05 +01:00 |
|
shape-square.typ
|
Outset; fix folding
|
2022-05-01 14:56:07 +02:00 |
|
transform.typ
|
Switch to New Computer Modern Math
|
2022-05-19 12:59:39 +02:00 |