Open ghost opened 9 years ago
Sean suggests a useful intermediate stage: after flattening a tree, give the user the option to disinclude nodes from or rearrange nodes in the final output.
This will be useful: http://stackoverflow.com/questions/3749231/download-file-using-javascript-jquery .
When a project is close to finished, it could be nice to be able to flatten a tree into a pseudo-LaTeX document, so that any intermediate calculations and proofs present in the tree become easily paste-able into a proper paper.