ryankeleti / ega

amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
330 stars 34 forks source link

pull request for proofreading #109

Closed thosgood closed 4 years ago

thosgood commented 4 years ago

for some reason, the pull request for the proofread-ega1-10 branch absolutely refused to fix its conflicts, so I fixed them locally, but this seems to have pushed all the changes directly to the master branch, which is just so hideously messy. there are now a few errors (such as \begin{enumerate}[label=\emph{(\roman*)}]), but I'll try to fix this all now

thosgood commented 4 years ago

I'm going to rollback master to before this horrible merge, and reopen the proofreading branch, and submit a new pull request