|
d1d6252e8b
|
implement correct dropping modes
|
2022-02-18 00:23:01 +01:00 |
|
|
f2ba97cabe
|
fix some bugs related to macros
|
2022-02-17 21:39:01 +01:00 |
|
|
adb168d453
|
add formatter macros for \begin{macrocode}
|
2022-02-17 20:46:39 +01:00 |
|
|
f1dbc45f9c
|
lots of default macros
|
2022-02-09 21:11:46 +01:00 |
|
|
e760eaef6d
|
implement config begin and end macros to drop config at beginning of file
|
2022-02-09 19:39:27 +01:00 |
|
|
8a6bfef421
|
add default macro file (forgotten earlier)
|
2022-02-09 18:02:57 +01:00 |
|