view docs/_static/_DUMMY @ 124:f916251d5647

Implement the "\REQUIRE" command from algpseudocodex
author Franz Glasner <fzglas.hg@dom66.de>
date Wed, 06 May 2026 16:12:17 +0200
parents fe7fe4caf978
children
line wrap: on
line source

This is an empty placeholder