functions generally improved and made packagelike, quicktexregapollo added... (!1) · Merge requests · dj44vuri / choiceTools

dj44vuri requested to merge devel into main Jun 03, 2024

functions generally improved and made packagelike, quicktexregapollo added different se display, tests added

functions generally improved and made packagelike, quicktexregapollo added...