Index of /lib/src/latin/dict

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]BigLat.gf2017-01-19 16:41 52  
[   ]BigLatAbs.gf2017-01-19 16:41 42  
[   ]BigLatEng.gf2017-01-24 11:52 58  
[TXT]MkLatin.hs2017-01-24 11:52 3.4K 
[   ]README2017-01-19 15:58 898  

Apache/2.4.18 (Ubuntu) Server at www.grammaticalframework.org Port 80