Giters

physikerwelt / mediawiki-docker

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Update DRMF

physikerwelt opened this issue · comments

commented
  • Check if everything from the old DRMF (non)-beta dump is included in the new DRMF beta dump
  • Enable drmf-data
  • Enable LaTeXML based rendering