|
|
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 |
|
