Name Last modified Size ![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
xfig/ 2025-08-19 12:26 -
![[ ]](/icons/unknown.gif){kind=icon}
TODO 2009-11-28 02:04 62
History 2009-11-28 02:04 571
![[ ]](/icons/hand.right.gif){kind=icon}
README 2009-11-28 02:04 1.4K
![[TXT]](/icons/text.gif){kind=icon}
names.sty 2009-11-28 02:04 2.1K
![[ ]](/icons/compressed.gif){kind=icon}
Makefile.gz 2009-11-28 02:04 2.3K
INSTALL 2009-11-28 02:04 2.3K
idverb.doc.gz 2009-11-28 02:04 2.4K
Imakefile 2009-11-28 02:04 2.4K
deutsch.doc.gz 2009-11-28 02:04 4.1K
deutsch.tex.gz 2009-11-28 02:04 4.5K
License.gz 2009-11-28 02:04 6.7K