search

metanorma / metanorma-docker

Docker container for running the Metanorma toolchain
https://www.metanorma.com
5 stars 3 forks source link

#127 remove latexml installation #128

Closed CAMOBAP closed 2 years ago

CAMOBAP commented 2 years ago