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
/
cleopatra
/
Contents
/
Org.org
Age
Commit message (
Expand
)
Author
2020-04-02
Refactor the build process to use cleopatra the Second
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-26
Use toml-mode for syntax highlighting and align a la Cargo.toml
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
Introduce a notion of dependency between generation processes
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
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
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