MudroadWhite

The JSON Object now should contain proof relationships in volume 1 & volume 2.

The write-html is supposed to : - Generate html files for a `.ced` file - And its dependencies - Show all span informations in the html file - Also the...

Wired elaboration to write-html in `elab-util.agda` for testing

2

Added a write-html feature but still incomplete. Wired the `elab-all` to `t-write-html-all` for testing the feature. To test it, use the `--elab` option in command line prompt, and it may...