search

ryankeleti / ega

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

environment labels #27

Closed thosgood closed 5 years ago

thosgood commented 5 years ago

At the moment the format for labels is along the lines of env-1.7.1.1 or thm-1.6.2.3. This means that, to write any reference, you have to go and check whether (6.4.9) was a theorem, a lemma, a definition, etc. Would it be enough to just label things as 1.7.1.1 (for example)?

ryankeleti commented 5 years ago

yeah that makes a lot more sense, we'll do that.

thosgood commented 5 years ago

ok, I'll change all the ones (labels and hyperref commands) in schemes

thosgood commented 5 years ago

although I think that proofs should still be labelled e.g. proof-1.8.1.1

thosgood commented 5 years ago

ok, just gave up with rebasing and restarted my entire fork (git can be really confusing sometimes)

ryankeleti commented 5 years ago

oof sorry