Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
COPYING 2015-05-02 16:15 34K
GFnotation-doc.pdf 2015-05-02 16:16 163K
GFnotation-doc.tex 2015-05-02 16:15 45K
GFnotation.tex 2015-05-02 16:15 86K
README 2015-05-02 16:15 1.1K