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 Explanations_ScratchX.tex 2017-07-28 13:29 33K Explications_ScratchX.tex 2017-07-28 13:29 34K ScratchX.sty 2017-07-28 13:29 39K Explanations_ScratchX.pdf 2017-07-28 13:29 219K Explications_ScratchX.pdf 2017-07-28 13:29 221K