search

latex3 / tagging-project

Issues related to the tagging project
https://latex3.github.io/tagging-project/
LaTeX Project Public License v1.3c
42 stars 15 forks source link

update amsthm status #735

Closed mbertucci47 closed 1 month ago

mbertucci47 commented 1 month ago

Changes status of amsthm to partially-compatible, links issue #733, and adds another test file.