Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.txt 2017-07-28 15:39 1.7K ScratchX.sty 2017-07-28 13:29 39K Explications_ScratchX.tex 2017-07-28 13:29 34K Explications_ScratchX.pdf 2017-07-28 13:29 221K Explanations_ScratchX.tex 2017-07-28 13:29 33K Explanations_ScratchX.pdf 2017-07-28 13:29 219K