Open ronaldtse opened 3 years ago
After someone installs Metanorma, he/she should be able to run tex2mn.
After someone installs Metanorma, he/she should be able to run tex2mn.