aboutsummaryrefslogtreecommitdiff
path: root/folkwisdom.md
Commit message (Expand)AuthorAge
* Work around bad design in CoqGravatar Jason Gross2016-07-19
* Update folkwisdom.mdGravatar Andres Erbsen2016-06-27
* actually fix pose proofGravatar Andres Erbsen2016-06-25
* s/fist/first/Gravatar Andres Erbsen2016-06-25
* s/`proofgeneral`/Proof General/Gravatar Andres Erbsen2016-06-25
* recommend pose proof instead of poseGravatar Andres Erbsen2016-06-25
* s/on//Gravatar Andres Erbsen2016-06-25
* add closing parenthesis to "(and make"Gravatar Andres Erbsen2016-06-25
* s/quality/equality/Gravatar Andres Erbsen2016-06-25
* s/be//Gravatar Andres Erbsen2016-06-25
* typo near "and make and"Gravatar Andres Erbsen2016-06-25
* wording change near "split this up"Gravatar Andres Erbsen2016-06-25
* add sigma type proof irrelevance wisdom from ssreflectGravatar Andres Erbsen2016-06-25
* folkwisdom: remove redundant idtacGravatar Andres Erbsen2016-06-24
* incorporate `Program Definition` match statement handling advice from @mattam82Gravatar Andres Erbsen2016-06-24
* first draft of a "folk wisdom" documentGravatar Andres Erbsen2016-06-24