|
065734a628
|
finer macro selection
|
2022-02-18 10:05:43 +01:00 |
|
|
9fc559cbaf
|
add begin / end implementation macros. fix some bugs
|
2022-02-18 09:50:22 +01:00 |
|
|
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 |
|