index
:
soap.coffee/lthms.git
main
Personal website of lthms
Thomas Letan
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
site
/
index.org
Age
Commit message (
Collapse
)
Author
2023-05-13
The great rewrite of 2023
Thomas Letan
2023-05-02
List the latest blogpost about neovim config tricks
Thomas Letan
2023-04-28
Advertize Spatial Shell’s call for testers in index.org
Thomas Letan
2023-04-27
Spatial Shell Call for Testers
Thomas Letan
2023-01-26
Stacked Git patch theory new blogpost
Thomas Letan
2023-01-16
Second article on Stacked Git
Thomas Letan
2022-11-19
Monthly retrospective: October and November 2022
Thomas Letan
2022-10-23
Website reorg
Thomas Letan
2022-08-13
Add a toc in the index
Thomas Letan
2022-08-12
Propose to send an email in every page
Thomas Letan
2021-09-04
Refine one more time the widths of the layout components
Thomas Letan
2021-03-28
2021 Spring redesign
Thomas Letan
2020-12-10
Spellchecking and revisions table for the coqffi articles
Thomas Letan
2020-12-10
Add a Series on coqffi, and the first literate program of this blog
Thomas Letan
2020-10-10
Create a summary page for the strongly-specified functions series
Thomas Letan
2020-09-23
Add a permalink to my Coq posts
Thomas Letan
2020-08-30
Introducing the Opinions page
Thomas Letan
2020-08-28
Heavy reworking of the Ltac series
Thomas Letan
2020-08-27
Additional tweaks to the design
Thomas Letan
2020-08-27
Simplify the theme
Thomas Letan
2020-07-31
“For Fun and Benefit” was not an idiomatic expression
Thomas Letan
2020-07-26
Add the latest write-up on Ltac to the index
Thomas Letan
2020-07-12
New article on Algebraic Datatypes
Thomas Letan
2020-07-12
Various fixes here and there
Thomas Letan
2020-04-02
Refactor the build process to use cleopatra the Second
Thomas Letan
2020-03-20
Do not use the sr.ht mailing list anymore
Thomas Letan
2020-03-20
Remove the “About” page and use the “Write-up” page as default index
Thomas Letan