Admin/components/windows
author nipkow
Thu, 03 Jul 2025 13:53:14 +0200
changeset 82802 547335b41005
parent 79960 7747a8efcad0
permissions -rw-r--r--
removed duplicate lemma; added the notion of the kernel of a function

#additional components for Windows platform
sumatra_pdf-3.5.2