The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ examples/ 15-Jul-2021 20:56 - userdoc/ 15-Jul-2021 20:56 - README 15-Jul-2021 20:56 1326 changes.drv 15-Jul-2021 20:56 4932 changes.dtx 15-Jul-2021 20:56 62480 changes.english.pdf 15-Jul-2021 20:56 370498 changes.english.withcode.pdf 15-Jul-2021 20:56 458243 changes.ins 15-Jul-2021 20:56 11561 changes.ngerman.pdf 15-Jul-2021 20:56 378117 example-screenshot.dtx 15-Jul-2021 20:56 5030 examples.dtx 15-Jul-2021 20:56 25808 pyMergeChanges.py 15-Jul-2021 20:56 11043 regression.dtx 15-Jul-2021 20:56 8624
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.