Name Last modified Size ![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/hand.right.gif){kind=icon}
README 2016-04-15 12:41 816
![[ ]](/icons/unknown.gif){kind=icon}
dfgproposal.dtx 2016-04-15 12:41 28K
dfgproposal.ins 2016-04-15 12:41 1.1K
![[ ]](/icons/layout.gif){kind=icon}
dfgproposal.pdf 2016-04-15 12:41 240K
![[DIR]](/icons/folder.gif){kind=icon}
proposal/ 2016-04-15 13:59 -
report/ 2016-04-15 13:59 -