grunweg
grunweg
By now, pdf-redact-tools is also packaged for Debian, and is available on the buster (currently testing) and sid (currently unstable) releases. On these, it can be installed by simply running...
It seems tectonic 0.15 uses biblatex 3.17: this was released two years ago (according to the [manual](https://ftp.gwdg.de/pub/ctan/macros/latex/contrib/biblatex/doc/biblatex.pdf), page 348). How much work would it be to update the biblatex version...
Thanks for this crate, by the way. I could insert a simple terminal prompt without knowing too much about terminals! **Steps to reproduce.** Take this small test programm. ```$ cat...
This a revised version of #166, see discussion there. Fixes #165.
PR #14 was good, but not general enough: there were in fact two different bugs hiding. This PR - documents the logic of the dix - fixes an off-by-two error...
Trying to understand the selection prompt and theme rendering a bit better, I touched up the docs a bit to make them easier to follow for me. Hence, this PR...
**Steps taken**: 0. Take your favourite repository on github and clone it using hg-git (e.g. https://github.com/Unlikus/FGA). 1. Wait until a new change is pushed upstream. Type |hg incoming| to verify...
One additivised lemma was missing a deprecation. --- [](https://gitpod.io/from-referrer/)
Unlike the Python version, this script also supports set_option tactics and terms, and we add a couple of tests. --- Mentored by @digama0; thanks for all your help. Written at...
Now that the Lean frontend normalises all line endings to LF (since leanprover/lean4#3903), this check is not necessary any more. It is also one fewer Python linter to rewrite in...