config.py
|
fix some type errors
|
2022-02-08 16:34:59 +01:00 |
dict_formatter.py
|
fix some type errors
|
2022-02-08 16:39:20 +01:00 |
dtx_formatter.py
|
add more formatters
|
2022-02-06 19:40:14 +01:00 |
enums.py
|
change handling of license to GenericText
|
2022-02-06 22:37:41 +01:00 |
formatterif.py
|
implement simple tex formatter
|
2022-02-08 17:04:16 +01:00 |
formatting_config.py
|
fix some type errors
|
2022-02-08 16:34:59 +01:00 |
generic_text.py
|
fix some type errors
|
2022-02-08 16:24:42 +01:00 |
macros.py
|
fix some type errors
|
2022-02-08 16:24:42 +01:00 |
pytex_formatter.py
|
implement simple tex formatter
|
2022-02-08 17:04:16 +01:00 |
repo_status_info.py
|
fix some type errors
|
2022-02-08 16:24:42 +01:00 |
simple_tex_formatter.py
|
implement simple tex formatter
|
2022-02-08 17:04:16 +01:00 |
tex_formatter.py
|
implement simple tex formatter
|
2022-02-08 17:04:16 +01:00 |