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-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
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
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
Fix several typos in the posts index
Thomas Letan
2020-02-23
Polish cleopatra
Thomas Letan
2020-02-23
Give up on clean URLs
Thomas Letan
2020-02-23
First complete draft for the Root of Generation section
Thomas Letan
2020-02-22
Explain 'tangle-org.el'
Thomas Letan
2020-02-22
Remove an orphan sentence
Thomas Letan
2020-02-22
List current generation processes and document how to add one
Thomas Letan
2020-02-22
Increase the width of the log file header generated by 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
2020-02-22
Make ~make~ to call itself with the `build` rule when none is given
Thomas Letan
2020-02-22
Provide a generic and reliable way to extends cleopatra
Thomas Letan
2020-02-22
Initiate the redaction of Bootstrap.org
Thomas Letan
2020-02-21
Various improvement in cleopatra
Thomas Letan
2020-02-20
Adopt a literate programming for `main.sass'
Thomas Letan
2020-02-20
Make an heavy use of Makefile variables
Thomas Letan
2020-02-20
Make cleopatra extensible
Thomas Letan
2020-02-19
Always use variables for colors in main.sass
Thomas Letan
2020-02-19
Name the toolchain and provide some context about its series
Thomas Letan
2020-02-19
Use the correct font for interfaces in the titles
Thomas Letan
2020-02-19
Rework the Makefiles for a cleaner handling of generated scripts
Thomas Letan
2020-02-19
Add a section in write-up index for the meta contents
Thomas Letan
2020-02-19
Do not use raw HTML for the titles of Coq posts
Thomas Letan
2020-02-19
Various improvement in the content generation process
Thomas Letan
2020-02-19
Initiate a literate programming approach for the Makefile rules
Thomas Letan
2020-02-18
Generate the ToC with soupault rather than org-mode in Thanks.org
Thomas Letan
2020-02-18
Add an improvable favicon to the website
Thomas Letan
2020-02-18
Fix coding style in Strongly-Specified Functions part 2
Thomas Letan
2020-02-18
Do not extract Coq terms in Strongly-Specified Functions part 2
Thomas Letan
2020-02-18
Add an alt attribute to the header image
Thomas Letan
2020-02-18
First publication of a page listing FOSS used to build this website
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-17
Add a minor styling for inline maths
Thomas Letan
2020-02-17
Render inline math at build time using KaTeX
Thomas Letan
2020-02-17
Remove ugly border around my avatar
Thomas Letan
2020-02-16
Adopt a literate programming approach for the configuration
Thomas Letan
2020-02-16
Add a revision table to the “Rewrite in Coq” article
Thomas Letan
[next]