Recent commits
- 02 Feb 2020: remove proof labels
- 02 Feb 2020: Update ega0-1.tex
- 01 Feb 2020: remove extra comma
- 29 Jan 2020: clean up make_web
- 28 Jan 2020: fix script,makefile
Statistics
The EGA translation project now consists of
- 19286 lines of code
- 1329 tags
- 40 sections
- 5 chapters