GitHub PushEvent at 2014-05-05 21:15:54
Repository: stacks-project
Actor: aisejohan
Payload: {"shas":[["8895ea88f1559e3d2af00912b8488d1ca016a75e","ba4585794314d719dd4f89660e75db76c0f0b545@gmail.com","Move a section later\n\nThe notion of projective dimension needs to be defined in order to be\nable to talk about it","Aise Johan de Jong",true],["bdde227c459a72f77eed58fb84db22bd62c0d247","ba4585794314d719dd4f89660e75db76c0f0b545@gmail.com","Clarify a lemma in derived.tex","Aise Johan de Jong",true],["29134e43c005c44adf0b3354c01b896dc07b567b","ba4585794314d719dd4f89660e75db76c0f0b545@gmail.com","Beautify a formula in hommology.tex","Aise Johan de Jong",true],["89b87ddc0802beba00bdb4c6b994672e55e32716","ba4585794314d719dd4f89660e75db76c0f0b545@gmail.com","Skeleton sections on pro- and injective dimension","Aise Johan de Jong",true],["f5b78cff8dba372fe454137836a6138b8d35d737","ba4585794314d719dd4f89660e75db76c0f0b545@gmail.com","\\text{Coh} -> \\textit{Coh}","Aise Johan de Jong",true],["1a2f1005c1aa1d3b4f743701ec880c74f415fead","ba4585794314d719dd4f89660e75db76c0f0b545@gmail.com","Internal hom in D(R)\n\nIt is a good day when the sign conventions work out on the nose! Woohoo!","Aise Johan de Jong",true]],"size":6,"ref":"refs/heads/master","head":"1a2f1005c1aa1d3b4f743701ec880c74f415fead"}