|
9a31d695c8
|
fix some header errors
|
2022-02-17 22:30:51 +01:00 |
|
|
f65610c06b
|
make padding in generic text optional
|
2022-02-17 21:44:34 +01:00 |
|
|
f2ba97cabe
|
fix some bugs related to macros
|
2022-02-17 21:39:01 +01:00 |
|
|
09bfa89dfe
|
let macros indicate if their replacement is done directly -> useful for singleLine macros
|
2022-02-17 21:13:27 +01:00 |
|
|
94640f9eff
|
implement first version of dtx formatter
|
2022-02-17 20:38:04 +01:00 |
|
|
189e0178c4
|
implement parts of builder
|
2022-02-08 21:57:30 +01:00 |
|
|
f89ccf245b
|
add auto formatter choosing
|
2022-02-08 18:26:25 +01:00 |
|
|
b7aaa974d2
|
add more formatters
|
2022-02-06 19:40:14 +01:00 |
|