Edits
Cleaned up git
Initial commit of code for new version of block chain, does not compile (had to go to class mid java class creation)
block chain new doc
Added first draft of the System Correctness section
Formal Version
Added some ignores for the version 2 docs
modded gitignore to get rid of annoying .sty files
Added Js code (40%)
edits
Scaffolded and added gitignore