search

slatex / LaTeXML-Plugin-sTeX

A LaTeXML Plugin for Semantic LaTeX (sTeX)
LaTeX Project Public License v1.3c
2 stars 3 forks source link

Tracker: Tom's Time at NIST #119

Open kohlhase opened 6 years ago

kohlhase commented 6 years ago

I would like to make a plan for Tom's work from the vantage point of KWARC.

Generally I want to get the LaTeXML side of sTeX up to speed, so that we can use the considerable sTeX corpus for research on flexiformal maths and generate active documents for my teaching activities.

I see three large steps in this

  1. port the sTeX plugin to LaTeXML master (see #76 #73)
  2. get the testing facility working and add tests (see #113, #107 #108)
  3. general care and maintenance of sTeX implementation a. reusing more of the LaTeX implementation (see #118 #28) b. catch up with the new developments in LaTeX/sTeX (see #42 #104 #109 #117 #43 #44) c. streamline build/install process (see #98 #116 #51) d. work out all the bugs reported in the issues.
  4. sTeX light: instead of producing OMDoc, produce OMDoc-annotated HMTL5 (see #41 #40 #39 #48 #38 #118)

WARNING: there is also https://github.com/KWARC/LaTeXML-Plugin-sTeX-experimental which may hold some useful code. We need to reconcile this and remove the redundant repos.

kohlhase commented 4 years ago

I think that this is still valid for 1019/2020.