Minor changes documentation for ResMon.Origin.
Rewrote some of the sequent calculus implementation; minor changes in ResMon layout.
[auto] merge master into gh-pages
[auto] updated html listings