| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Announce the acceptance of our coqffi paper | Thomas Letan | 3 days | |
| Age | Commit message | Author | ||
| 3 days | Announce the acceptance of our coqffi paperHEADmaster | Thomas Letan | ||
| 3 days | Remove a redundant </head> tag in HTML template | Thomas Letan | ||
| 3 days | Update gitignore file | Thomas Letan | ||
| 3 days | Rework header to make it more mobile friendly | Thomas Letan | ||
| 2020-10-30 | Reword the titles of the “Strongly-Specified Functions”’s articles | Thomas Letan | ||
| 2020-10-23 | Update to soupault.2.0.0 | Thomas Letan | ||
| 2020-10-10 | Create a summary page for the strongly-specified functions series | Thomas Letan | ||
| 2020-10-09 | Fix Coq source scrolling | Thomas Letan | ||
| 2020-10-09 | Variablify the margin of a page | Thomas Letan | ||
| 2020-10-08 | coqffi has been published! | Thomas Letan | ||
| [...] | ||||
| Clone | ||||
| https://code.soap.coffee/writing/lthms.git | ||||