Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - src/ 2024-05-09 15:46 - README 2024-05-12 17:28 847 Makefile 2019-01-19 15:14 1.8K README.md 2023-11-02 16:04 1.8K pgfsys-ximera.def 2021-08-11 15:11 2.4K installingLocally.md 2024-01-11 19:43 3.0K ximera.ins 2024-05-12 17:28 7.4K ximera.dtx 2024-05-12 17:40 12K LICENSE 2024-05-12 17:34 19K ximera.pdf 2024-05-12 17:28 313K