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
/
news
Age
Commit message (
Expand
)
Author
2023-05-13
The great rewrite of 2023
Thomas Letan
2023-04-30
Let’s celebre the release of Spatial Shell 1
Thomas Letan
2023-04-28
Fix the suggested sway config to actually start waybar
Thomas Letan
2023-04-28
Fix typo in env variable name
Thomas Letan
2023-04-27
Remove duplicated catch phrase
Thomas Letan
2023-04-27
Rewording and improvements
Thomas Letan
2023-04-27
Spatial Shell Call for Testers
Thomas Letan
2022-11-19
Monthly retrospective: October and November 2022
Thomas Letan
2022-10-23
Website reorg
Thomas Letan
2022-08-21
spatial-sway is a thing now
Thomas Letan
2022-08-15
Let’s have a monthly retrospective for once
Thomas Letan
2022-08-13
Goodbye, cleopatra
Thomas Letan
2021-08-20
Advertise the release of coqffi beta 6 and 7
Thomas Letan
2021-03-28
2021 Spring redesign
Thomas Letan
2021-01-30
Add some news about January, 2021
Thomas Letan
2020-12-16
Mention coqffi.dev
Thomas Letan
2020-12-16
FreeSpec has been published to Opam
Thomas Letan
2020-12-11
coq-coqffi.1.0.0~beta2 has been released
Thomas Letan
2020-12-08
Announce coq-coqffi.1.0.0~beta1
Thomas Letan
2020-11-24
Announce the acceptance of our coqffi paper
Thomas Letan
2020-10-08
coqffi has been published!
Thomas Letan
2020-08-27
Simplify the theme
Thomas Letan
2020-07-12
Various fixes here and there
Thomas Letan
2020-04-02
Small tweaking post-publication
Thomas Letan
2020-03-21
This is a personal, not a professional blog
Thomas Letan
2020-02-29
Fix several typos in News
Thomas Letan
2020-02-23
Fix various typos
Thomas Letan
2020-02-23
Announce to the world that cleopatra is bootstrapped
Thomas Letan
2020-02-23
Give up on clean URLs
Thomas Letan
2020-02-17
Add more short news
Thomas Letan
2020-02-17
Do not generate the news index automatically anymore
Thomas Letan
2020-02-15
Add a new section for news and announcements
Thomas Letan