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
/
.gitignore
Age
Commit message (
Collapse
)
Author
2023-05-13
Ignore highlighting theme
Thomas Letan
2023-05-13
The great rewrite of 2023
Thomas Letan
2023-05-01
Blogpost and OCaml, tree-sitter and LSP in neovim
Thomas Letan
2023-04-29
Enable soupault caching
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-15
Let’s have a monthly retrospective for once
Thomas Letan
2022-08-13
Provide a script to capture output of commands into files in 'logs/'
Thomas Letan
2022-08-13
Use emacs --daemon to speed things up
Thomas Letan
2022-08-13
Goodbye, cleopatra
Thomas Letan
As it is, it is just too slow. Plus, the literate program that was my toolchain is actually not documented, so it makes no sense. I’m sad, though.
2022-08-07
Add a new post about rank-n types in OCaml
Thomas Letan
2022-01-16
Stacked Git is cool
Thomas Letan
2021-08-20
Update various dependencies used by this website
Thomas Letan
2021-03-28
2021 Spring redesign
Thomas Letan
2021-01-24
Ignore _opam
Thomas Letan
2020-12-13
Benefit from latest cleopatra to get .gitignore content sorted
Thomas Letan
2020-12-11
Update gitignore
Thomas Letan
2020-12-10
Add a Series on coqffi, and the first literate program of this blog
Thomas Letan
2020-11-24
Update gitignore file
Thomas Letan
2020-10-10
Create a summary page for the strongly-specified functions series
Thomas Letan
2020-08-30
Introducing the Opinions page
Thomas Letan
2020-08-29
Start the documentation of the theme build process
Thomas Letan
2020-08-28
Heavy reworking of the Ltac series
Thomas Letan
2020-08-27
Add a page to display my keystrokes reporting
Thomas Letan
2020-08-27
Add an (empty) projects page
Thomas Letan
2020-08-27
Simplify the theme
Thomas Letan
2020-07-26
Initial publication
Thomas Letan
2020-07-12
Various fixes here and there
Thomas Letan
2020-04-04
Benefit from cleopatra org-related functions to export org files
Thomas Letan
2020-04-02
Refactor the build process to use cleopatra the Second
Thomas Letan
2020-03-20
Remove the “About” page and use the “Write-up” page as default index
Thomas Letan
2020-03-20
Add a new post about Clight and its semantics
Thomas Letan
2020-02-29
Continue to work on soupault configuration
Thomas Letan
2020-02-26
Improving the end of the Bootstrapping cleopatra document
Thomas Letan
2020-02-26
Introduce a notion of dependency between generation processes
Thomas Letan
The chain of generation processes is now divided into three well-identified stages. The order of definition of generation processes is no longer important.
2020-02-23
Move plugin-specific SASS rules in Soupault.org
Thomas Letan
2020-02-23
Yet another attempt to only init npm and Emacs when necessary
Thomas Letan
2020-02-23
Ignore build.log
Thomas Letan
2020-02-23
cleopatra is completely boostrapped
Thomas Letan
2020-02-23
Do not remove cleopatra files with 'make clean'
Thomas Letan
2020-02-23
Provide a rule to initialize Emacs packages
Thomas Letan
This allows for using make built-in parallel builds, using e.g. `make -j4'.
2020-02-23
Integrate the scripts and plugins used by soupault in Soupault.org
Thomas Letan
2020-02-23
Reworking cleopatra presentation
Thomas Letan
2020-02-23
Polish cleopatra
Thomas Letan
2020-02-22
Remove useless dependencies in the `build' rule of cleopatra
Thomas Letan
2020-02-22
Integrate `update-gitignore.sh' inside cleopatra
Thomas Letan
2020-02-22
Use `tangle-org.el' during bootstrap
Thomas Letan
[next]