Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - CHANGES 2019-01-01 14:12 1.7K Makefile 2006-11-08 16:47 898 README 2006-11-09 21:03 4.8K msg.dtx 2019-01-01 17:49 64K msg.ins 2006-11-09 17:08 1.0K msg.pdf 2019-01-02 09:33 587K msgfiles.dtx 2006-11-09 17:08 4.2K msgguide.pdf 2019-01-02 09:27 531K msgguide.tex 2006-11-09 17:08 1.1K msgtest.tex 2006-11-09 17:08 6.5K