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
Age
Commit message (
Expand
)
Author
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
Small tweaking post-publication
Thomas Letan
2020-04-02
Refactor the build process to use cleopatra the Second
Thomas Letan
2020-03-21
Enjoy soupault’s plugin autodiscovery feature
Thomas Letan
2020-03-21
This is a personal, not a professional blog
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
2020-03-20
Add a new post about Clight and its semantics
Thomas Letan
2020-03-19
Use inline mathematics to display KaTeX
Thomas Letan
2020-03-02
Clean-up and writing
Thomas Letan
2020-02-29
Continue the Series on cleopatra
Thomas Letan
2020-02-29
Fix several typos in News
Thomas Letan
2020-02-29
Improve the implementation explanation of the history.sh script
Thomas Letan
2020-02-29
Continue to work on soupault configuration
Thomas Letan
2020-02-27
More theme tweaking
Thomas Letan
2020-02-27
Introduce a convenient Org syntax for inline maths
Thomas Letan
2020-02-27
Add a minimal style for the .example class used by Org for results
Thomas Letan
2020-02-27
Use monokai-pro as the main theme and fix the CSS of Coq files
Thomas Letan
2020-02-27
Tweak the theme to be more responsive
Thomas Letan
2020-02-27
Theme reloading
Thomas Letan
2020-02-27
Make a generation process prebuild depends on its tangled file
Thomas Letan
2020-02-26
Use toml-mode for syntax highlighting and align a la Cargo.toml
Thomas Letan
2020-02-26
Generalize the meta-generator widget using the power of Org
Thomas Letan
2020-02-26
Display source blocks names and tangle filenames in HTML output
Thomas Letan
2020-02-26
Improving the end of the Bootstrapping cleopatra document
Thomas Letan
2020-02-26
Set a width linked to the font size
Thomas Letan
2020-02-26
Introduce a notion of dependency between generation processes
Thomas Letan
2020-02-25
Allow cleopatra to create missing directories
Thomas Letan
2020-02-25
Rework the revisions table script to make it more readable
Thomas Letan
2020-02-24
Improve the readability of the revisions table script
Thomas Letan
2020-02-24
More tweaking of too long code lines
Thomas Letan
2020-02-24
Rework users instructions for the equation plugin
Thomas Letan
2020-02-24
Add users instructions for the revision tables plugins
Thomas Letan
2020-02-24
Hide sections numbers for H4 and more in Org documents
Thomas Letan
2020-02-24
Add support for JSON source block for Org documents
Thomas Letan
2020-02-23
Fix various typos
Thomas Letan
2020-02-23
Reduce the length of long lines of code in cleopatra
Thomas Letan
2020-02-23
Reduce the size of the `alt' attribute of the header
Thomas Letan
2020-02-23
Explain how equations are rendered offline
Thomas Letan
2020-02-23
Move plugin-specific SASS rules in Soupault.org
Thomas Letan
2020-02-23
Use font-display, use non-breaking spaces with URL mark
Thomas Letan
2020-02-23
Try to improve the situation with overflowing source blocks
Thomas Letan
2020-02-23
Yet another attempt to only init npm and Emacs when necessary
Thomas Letan
2020-02-23
Use a softer theme
Thomas Letan
2020-02-23
Announce to the world that cleopatra is bootstrapped
Thomas Letan
2020-02-23
Remove useless `sed' call in Coq file generation process
Thomas Letan
2020-02-23
Fix a typo in “Ltac 101”
Thomas Letan
2020-02-23
Ignore build.log
Thomas Letan
2020-02-23
cleopatra is completely boostrapped
Thomas Letan
[next]