Commit Graph

4 Commits

Author SHA1 Message Date
Marcel Fabian Krüger
e21116b501 Add labels to saved formulas 2021-06-27 00:50:13 +02:00
Marcel Fabian Krüger
ffe3514b75 Use new flag_save variants 2021-06-22 18:10:02 +02:00
Marcel Fabian Krüger
db60580191 Preserve core for user provided nodes 2021-05-31 01:54:21 +02:00
Marcel Fabian Krüger
a30b875e7a Support \phantom and friends 2021-05-31 00:26:35 +02:00