Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
dp/ 1999-10-20 07:23 -
![[ ]](/icons/unknown.gif){kind=icon}
Bugs 1998-05-13 00:00 135
Changes 1998-05-13 00:00 683
Makefile 1998-05-13 00:00 3.3K
README.1ST 1998-05-13 00:00 1.0K
Todo 1998-05-13 00:00 302
formula.dtx 1998-05-13 00:00 44K
formula.ins 1998-05-13 00:00 844
![[ ]](/icons/layout.gif){kind=icon}
formula.pdf 2010-02-28 19:35 339K
install.eng 1998-05-13 00:00 590
install.ger 1998-05-13 00:00 574
newform.bat 1998-05-13 00:00 144
newformula 1998-05-13 00:00 162