pages tagged teaching

RecentChanges

Generating ikiwiki markdown from org
Posted Fri 16 Feb 2024 12:01:00 PM

Added a derived backend for org export
Posted Wed 27 Dec 2023 03:15:00 PM

Generating links to a web IDE from org-beamer
Posted Wed 27 Dec 2023 12:01:00 PM

git-annex and ikiwiki, not as hard as I expected
Posted Sat 18 Jul 2020 09:09:00 AM

Tangling multiple files
Posted Wed 08 Apr 2020 01:35:00 PM

Beamer overlays in highlighted source code
Posted Sat 08 Jan 2011 03:00:00 PM