aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAgeFilesLines
* finished 2-4.6; finished ega2-4ega2-4Gravatar Tim Hosgood 2020-08-062-24/+79
* almost finished 2-4.6Gravatar Tim Hosgood 2020-08-061-4/+254
* finished 2-4.5Gravatar Tim Hosgood 2020-08-061-3/+43
* this is a looong proofGravatar Tim Hosgood 2020-08-061-1/+70
* \setminus -> \setminGravatar Tim Hosgood 2020-08-062-2/+2
* another page or soGravatar Tim Hosgood 2020-08-062-2/+71
* typoGravatar Tim Hosgood 2020-08-061-1/+1
* another pageGravatar Tim Hosgood 2020-08-061-0/+77
* updated readme for when this is finishedGravatar Tim Hosgood 2020-08-061-2/+2
* starting a proofGravatar Tim Hosgood 2020-08-061-0/+27
* starting againGravatar Tim Hosgood 2020-08-061-0/+9
* Merge pull request #170 from solov-t/masterGravatar Ryan Keleti 2020-08-044-12/+345
|\
| * TyposGravatar solov-t 2020-08-021-27/+27
| * Zeroth draft of subsection IV.16.8Gravatar solov-t 2020-08-011-16/+179
| * More subsubsectionsGravatar solov-t 2020-07-312-1/+50
| * Start of section IV.16.8Gravatar solov-t 2020-07-304-1/+122
* | Merge pull request #169 from solov-t/masterGravatar Tim Hosgood 2020-07-141-14/+202
|\|
| * Minor typosGravatar solov-t 2020-07-131-2/+2
| * Zero'th draft of IV.16.7Gravatar solov-t 2020-07-121-12/+91
| * FIrst additions to IV.16.7Gravatar solov-t 2020-07-111-3/+112
| * Merge pull request #9 from ryankeleti/masterGravatar solov-t 2020-07-111-3/+242
| |\ | |/ |/|
* | Merge pull request #168 from solov-t/masterGravatar Tim Hosgood 2020-07-091-0/+2
|\|
| * Added \shDer and \shAut commands to the web versionGravatar solov-t 2020-07-091-0/+2
| * Merge pull request #8 from ryankeleti/masterGravatar solov-t 2020-07-0817-170/+547
| |\
* | \ Merge pull request #167 from ryankeleti/ega2-4Gravatar Tim Hosgood 2020-07-091-3/+242
|\ \ \ | |_|/ |/| |
| * | finished ega-2.4.4Gravatar Tim Hosgood 2020-07-091-3/+92
| * | pause before this massive propositionGravatar Tim Hosgood 2020-07-091-3/+91
| * | started ega2-4.4Gravatar Tim Hosgood 2020-07-091-1/+63
|/ /
* | Merge pull request #166 from solov-t/masterGravatar Tim Hosgood 2020-07-081-0/+134
|\|
| * some typosGravatar solov-t 2020-07-071-9/+9
| * First draft of subsection IV.16.6Gravatar solov-t 2020-07-051-0/+134
| * Merge branch 'master' of https://github.com/ryankeleti/egaGravatar solov-t 2020-07-0510-177/+681
| |\
| * | Fixed nomenclature of torsorsGravatar solov-t 2020-06-261-12/+12
| * | typosGravatar solov-t 2020-06-261-2/+2
* | | more page countsega0-12Gravatar Tim Hosgood 2020-07-071-22/+23
* | | Merge pull request #165 from ryankeleti/ega2-4Gravatar Tim Hosgood 2020-07-0712-21/+163
|\ \ \
| * | | changed a set phrase; finished ega2-4.3Gravatar Tim Hosgood 2020-07-0712-21/+144
| * | | quick stashGravatar Tim Hosgood 2020-07-071-0/+19
|/ / /
* | | superscript tildeGravatar Tim Hosgood 2020-07-077-56/+56
* | | laying claimGravatar Tim Hosgood 2020-07-063-1/+9
* | | Update README.mdGravatar Tim Hosgood 2020-07-061-8/+8
* | | Update README.mdGravatar Tim Hosgood 2020-07-061-3/+1
* | | Update README.mdGravatar Tim Hosgood 2020-07-061-18/+10
* | | Merge pull request #164 from ryankeleti/ega2-4Gravatar Tim Hosgood 2020-07-066-53/+289
|\ \ \ | |_|/ |/| |
| * | finished ega2-4.2Gravatar Tim Hosgood 2020-07-063-4/+142
| * | another page or soGravatar Tim Hosgood 2020-07-051-3/+91
| * | removed proof labels; updated style guide a tiny bit; started properly on ega2-4Gravatar Tim Hosgood 2020-07-044-48/+58
|/ /
* | Merge pull request #163 from ryankeleti/ega2-4Gravatar Tim Hosgood 2020-07-041-20/+21
|\ \
| * \ Merge branch 'master' into ega2-4Gravatar Tim Hosgood 2020-07-043-9/+267
| |\ \ | |/ / |/| |
* | | small detailGravatar Tim Hosgood 2020-07-041-1/+1