Sciweavers

Share
CORR
2010
Springer

sTeXIDE: An Integrated Development Environment for sTeX Collections

8 years 5 months ago
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, timeconsuming subtasks, which can be supported in an integrated authoring environment. 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.
Constantin Jucovschi, Michael Kohlhase
Added 25 Dec 2010
Updated 25 Dec 2010
Type Journal
Year 2010
Where CORR
Authors Constantin Jucovschi, Michael Kohlhase
Comments (0)
books