diff options
| author | stuebinm | 2024-02-11 18:22:53 +0100 |
|---|---|---|
| committer | stuebinm | 2024-02-11 18:22:53 +0100 |
| commit | 2d130f50f30643ffbf1090b4db8e97b530b86f69 (patch) | |
| tree | df901ebf6c63737c84688683da8779916d5e7cc2 /home/scripts | |
| parent | eade932667731845341309e43c721d7a49ab6e38 (diff) | |
home: add twelf
for Chris Marten's logic course. Uses an unofficial version from github
since the actually released version is so old that the elisp code for
the emacs mode doesn't work with an up-to-date emacs anymore.
Diffstat (limited to 'home/scripts')
0 files changed, 0 insertions, 0 deletions