|
|
ebf2ee5849
|
Update tex patterns
|
2023-02-01 20:12:06 -08:00 |
|
|
|
c30b102458
|
Use re.sub instead of looping over re.findall
|
2023-01-04 16:39:59 -08:00 |
|
|
|
7df12c68dc
|
Tiny cleanup
|
2022-12-29 18:52:13 -08:00 |
|
|
|
1feae23566
|
Improve num_tex_symbols
|
2022-12-29 10:37:46 -08:00 |
|
|
|
34d8ab81f9
|
Fix for num_tex_symbols
|
2022-12-28 13:38:15 -08:00 |
|
|
|
805236337e
|
Remove stray import
|
2022-12-21 12:52:32 -08:00 |
|
|
|
10d53c82e1
|
Improved num_tex_symbols
Based on data gathered for tex commands
|
2022-12-21 12:47:18 -08:00 |
|
|
|
ef941b4040
|
Factor out num_tex_symbols
|
2022-12-20 22:35:41 -08:00 |
|
