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
/
Makefile
Age
Commit message (
Expand
)
Author
2020-08-27
Simplify the theme
Thomas Letan
2020-02-27
Make a generation process prebuild depends on its tangled file
Thomas Letan
2020-02-26
Display source blocks names and tangle filenames in HTML output
Thomas Letan
2020-02-26
Introduce a notion of dependency between generation processes
Thomas Letan
2020-02-24
More tweaking of too long code lines
Thomas Letan
2020-02-23
Reduce the length of long lines of code in cleopatra
Thomas Letan
2020-02-23
Yet another attempt to only init npm and Emacs when necessary
Thomas Letan
2020-02-23
Reworking cleopatra presentation
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
Increase the width of the log file header generated by 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
Rework the Makefiles for a cleaner handling of generated scripts
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
Disable `custom-entry-overriden' warning of Coq
Thomas Letan
2020-02-16
Adopt a literate programming approach for the configuration
Thomas Letan
2020-02-15
Make the website 3rd-party free and improve loading performance
Thomas Letan
2020-02-14
Provide an index page for write-ups with more value
Thomas Letan
2020-02-05
Make the output of `make` cleaner
Thomas Letan
2020-02-05
Fix link to locally defined terms in coqdoc output
Thomas Letan
2020-02-05
Keep the list of html files to ignore up-to-date when building
Thomas Letan
2020-02-04
Initial commit with previous content and a minimal theme
Thomas Letan