Index of /turingol/doc

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]turingol.dvi2018-02-18 17:50 22K 
[ ]turingol.ps2018-02-18 17:50 103K 
[TXT]turingol.tex2018-02-18 17:50 17K 
Apache/2.4.62 (Debian) Server at peteg.org Port 443