aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAgeFilesLines
* Fix typos and phrasingega4-20Gravatar Ryan Keleti 2020-09-062-14/+278
* Merge branch 'master' of https://github.com/ryankeleti/ega into ega4-20Gravatar Ryan Keleti 2020-09-0623-313/+4246
|\
| * Merge pull request #172 from solov-t/masterGravatar Tim Hosgood 2020-09-042-3/+545
| |\
| | * This felt goodGravatar solov-t 2020-09-031-2/+2
| | * The first draft of section IV.16Gravatar solov-t 2020-09-031-3/+33
| | * Just one more subsection, c'monGravatar solov-t 2020-09-031-1/+124
| | * finished section 16.10Gravatar solov-t 2020-09-021-1/+54
| | * Finished IV.16.9 and started IV.16.10Gravatar solov-t 2020-09-011-4/+114
| | * more subsubsectionsGravatar solov-t 2020-08-311-1/+84
| | * more subsubsectionsGravatar solov-t 2020-08-301-2/+73
| | * Start of subsubsection IV.16.9Gravatar solov-t 2020-08-051-1/+73
| * | Clean up README a bit and add matrix.to linkGravatar Ryan Keleti 2020-08-201-9/+10
| * | next goalGravatar Tim Hosgood 2020-08-131-2/+2
| * | Merge pull request #171 from ryankeleti/ega2-4Gravatar Tim Hosgood 2020-08-064-6/+602
| |\ \
| | * | 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
| |\ \ \