Data structures and functions for managing interactive edits. The parse tree, rendered text, and other information needed for this is stored in a value of type
MiniLatex.Edit.DataThat data is initialized using
data = init version textwhere the version is an integer that distinguishes different edits.
Used for initialization.
Create Data from a string of MiniLaTeX text and a version number. The version number should be different for each call of init.
Update Data with modified text, re-parsing and re-rerendering changed elements.
Retrieve Html from a Data object.
Parse the given text and return an AST representing it.
Data for differential parsing and rendering