|
|
180eae4f12
|
fix bug with line stream
|
2022-02-09 11:26:01 +01:00 |
|
|
|
3571d409f0
|
fix some bugs, more type annotations
|
2022-02-08 19:01:18 +01:00 |
|
|
|
6cd8d9655d
|
fix future config handling, use abstract classes
|
2022-02-08 17:21:36 +01:00 |
|
|
|
1a6989734e
|
implement simple tex formatter
|
2022-02-08 17:04:16 +01:00 |
|
|
|
b69019d814
|
fix some type errors
|
2022-02-08 16:39:20 +01:00 |
|
|
|
91bcb64be5
|
fix type issues
|
2022-02-08 16:09:56 +01:00 |
|
|
|
94b5f28567
|
optimize imports and reformat files
|
2022-02-07 18:36:30 +01:00 |
|
|
|
79fc7b5217
|
add header in tex formatter
|
2022-02-06 18:51:49 +01:00 |
|
|
|
1094fce0a4
|
implement general interface for tex formatters
|
2022-02-06 18:34:39 +01:00 |
|
|
|
9ae70fae13
|
add LineStream class
|
2022-02-06 18:12:30 +01:00 |
|
|
|
12de6e43cb
|
start tex formatter
|
2022-02-06 15:11:34 +01:00 |
|
