Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2016-07-09 19:56 2.3K Recompilation_decision.eps 2015-11-07 15:28 107K Recompilation_decision.pdf 2015-11-07 15:27 76K Recompilation_decision.svg 2015-11-07 15:27 57K mgltex.dtx 2016-07-09 18:35 154K mgltex.ins 2016-04-18 11:41 2.6K mgltex.pdf 2016-07-09 18:41 533K sample.pdf 2016-07-09 18:40 1.3M sample.tex 2016-07-09 18:38 14K