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.25 (Debian) Server at peteg.org Port 80