![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| tex.104 | 23-Mar-1993 15:40 | 126K | |
| tex.122 | 07-Jul-1995 18:50 | 132K | |
| tex.193 | 19-Nov-1996 19:23 | 156K | |
| tex.227 | 03-Mar-1998 14:29 | 163K | |
| tex.253 | 21-Jul-1998 03:24 | 178K | |
| texinfo-2.16.tar.bz2 | 28-Nov-2003 20:40 | 285K | |
| texinfo-3.0.tar.bz2 | 28-Nov-2003 20:41 | 397K | |
| texinfo-3.1.tar.bz2 | 28-Nov-2003 20:41 | 395K | |
| texinfo-3.2.tar.bz2 | 28-Nov-2003 20:46 | 448K | |
| texinfo-3.3.tar.bz2 | 28-Nov-2003 20:47 | 447K | |
| texinfo-3.4.tar.bz2 | 28-Nov-2003 20:48 | 447K | |
| texinfo-3.5.tar.bz2 | 28-Nov-2003 20:49 | 448K | |
| texinfo-3.6.tar.bz2 | 28-Nov-2003 20:50 | 448K | |
| texinfo-3.7.tar.bz2 | 28-Nov-2003 20:51 | 451K | |
| texinfo-3.8.tar.bz2 | 28-Nov-2003 20:52 | 481K | |
| texinfo-3.9.tar.bz2 | 28-Nov-2003 20:53 | 493K | |
| texinfo-3.11.tar.bz2 | 28-Nov-2003 20:43 | 632K | |
| texinfo-3.12.tar.bz2 | 28-Nov-2003 20:45 | 568K | |
| texinfo-4.0.tar.bz2 | 28-Nov-2003 20:55 | 812K | |
| texinfo-4.1.tar.bz2 | 23-Nov-2003 16:39 | 1.1M | |
| texinfo-4.2.tar.bz2 | 28-Nov-2003 20:58 | 1.1M | |
| texinfo-4.3.tar.bz2 | 28-Nov-2003 21:01 | 1.2M | |
| texinfo-4.4.tar.bz2 | 28-Nov-2003 21:04 | 1.2M | |
| texinfo-4.5.tar.bz2 | 30-Aug-2003 18:35 | 1.2M | |
| texinfo-4.6.tar.bz2 | 28-Nov-2003 21:07 | 1.3M | |
| texinfo-4.7.tar.bz2 | 10-Sep-2007 13:57 | 1.4M | |
| texinfo-4.8.tar.bz2 | 10-Sep-2007 13:57 | 1.5M | |
| texinfo-4.8a.tar.bz2 | 10-Sep-2007 13:57 | 1.5M | |
| texinfo-4.9.tar.bz2 | 10-Sep-2007 13:57 | 1.5M | |
| texinfo-4.11.tar.bz2 | 10-Sep-2007 13:57 | 1.6M | |
| texinfo-4.12.tar.lzma | 20-Apr-2008 09:38 | 1.3M | |
| texinfo-4.13.tar.lzma | 19-Sep-2008 11:46 | 1.4M | |