STEXIDE

STEXIDE: an integrated development environment for STEX collections Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of STEX documents (GenCS), we identified a set of common, time-consuming subtasks, which can be supported in an integrated authoring environment.par We have adapted the modular Eclipse IDE into STEXIDE, an authoring solution for enhancing productivity in contributing to STEX-based corpora. STEXIDE supports context-aware command completion, module management, semantic macro retrieval, and theory graph navigation.

This software is also peer reviewed by journal TOMS.