![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[DIR]](/theme/icons/folder.png){kind=icon} | xfig/ | 2002-02-26 16:37 | - |
![[TXT]](/theme/icons/doc.png){kind=icon} | cassette.tex | 1995-03-16 01:17 | 3.9K |
| deutsch.doc | 1995-07-30 16:27 | 9.8K |
![[ ]](/icons/dvi.gif){kind=icon} | deutsch.dvi | 1995-07-30 16:28 | 11K |
| deutsch.tex | 1995-07-30 16:28 | 11K |
![[ ]](/theme/icons/default.png){kind=icon} | History | 1995-07-30 04:36 | 571 |
| idverb.doc | 1995-03-13 23:18 | 5.3K |
| idverb.dvi | 1995-07-30 04:37 | 6.2K |
| idverb.tex | 1995-07-30 04:37 | 6.4K |
| Imakefile | 1995-05-28 03:35 | 2.4K |
| INSTALL | 1995-03-16 01:18 | 2.3K |
| js-misc.dvi | 1995-07-30 16:28 | 7.0K |
| js-misc.tex | 1995-03-13 23:18 | 6.1K |
| License | 1995-07-30 16:28 | 18K |
| Makefile | 1995-07-30 16:28 | 7.8K |
![[TXT]](/icons/text.gif){kind=icon} | names.sty | 1995-03-13 23:18 | 2.1K |
![[ ]](/icons/hand.right.gif){kind=icon} | README | 1995-05-07 19:58 | 1.4K |
| schild.tex | 1995-03-13 23:18 | 1.5K |
| sperr.tex | 1995-04-17 02:27 | 2.2K |
| TODO | 1995-04-17 03:01 | 62 |
| xfig.tex | 1995-05-07 19:52 | 23K |