Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 03-Jun-2003 16:42 -
![[ ]](/icons/unknown.gif){kind=icon}
ChangeLog 20-May-2003 04:31 1k
Makefile 17-May-2003 05:40 2k
![[DIR]](/icons/folder.gif){kind=icon}
debian/ 20-May-2003 04:33 -
dict/ 20-May-2003 04:33 -
doc/ 20-May-2003 04:33 -
grammar/ 20-May-2003 04:33 -
lib/ 07-May-2003 02:59 -
prime 20-May-2003 04:25 4k
prime.config 20-May-2003 04:25 1k