chronaeon / beigepaper

Rewrite of the Yellowpaper in non-Yellowpaper syntax.
MIT License
785 stars 85 forks source link

Fixed .gitignore and "World State" description #18

Closed chronaeon closed 5 years ago

chronaeon commented 5 years ago

new file: .gitignore
deleted: beigepaper.blg deleted: beigepaper.log modified: beigepaper.pdf deleted: beigepaper.synctex.gz modified: beigepaper.tex deleted: proofs/proofs.aux deleted: proofs/proofs.synctex.gz deleted: pseudocode_dump/yp_symbol_conversions.aux