![[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 14:40 | 126K | |
| tex.122 | 07-Jul-1995 17:50 | 132K | |
| tex.193 | 19-Nov-1996 18:23 | 156K | |
| tex.227 | 03-Mar-1998 13:29 | 163K | |
| tex.253 | 21-Jul-1998 02:24 | 178K | |
| texinfo-2.16.tar.bz2 | 28-Nov-2003 19:40 | 285K | |
| texinfo-3.0.tar.bz2 | 28-Nov-2003 19:41 | 397K | |
| texinfo-3.1.tar.bz2 | 28-Nov-2003 19:41 | 395K | |
| texinfo-3.2.tar.bz2 | 28-Nov-2003 19:46 | 448K | |
| texinfo-3.3.tar.bz2 | 28-Nov-2003 19:47 | 447K | |
| texinfo-3.4.tar.bz2 | 28-Nov-2003 19:48 | 447K | |
| texinfo-3.5.tar.bz2 | 28-Nov-2003 19:49 | 448K | |
| texinfo-3.6.tar.bz2 | 28-Nov-2003 19:50 | 448K | |
| texinfo-3.7.tar.bz2 | 28-Nov-2003 19:51 | 451K | |
| texinfo-3.8.tar.bz2 | 28-Nov-2003 19:52 | 481K | |
| texinfo-3.9.tar.bz2 | 28-Nov-2003 19:53 | 493K | |
| texinfo-3.11.tar.bz2 | 28-Nov-2003 19:43 | 632K | |
| texinfo-3.12.tar.bz2 | 28-Nov-2003 19:45 | 568K | |
| texinfo-4.0.tar.bz2 | 28-Nov-2003 19:55 | 812K | |
| texinfo-4.1.tar.bz2 | 23-Nov-2003 15:39 | 1.1M | |
| texinfo-4.2.tar.bz2 | 28-Nov-2003 19:58 | 1.1M | |
| texinfo-4.3.tar.bz2 | 28-Nov-2003 20:01 | 1.2M | |
| texinfo-4.4.tar.bz2 | 28-Nov-2003 20:04 | 1.2M | |
| texinfo-4.5.tar.bz2 | 30-Aug-2003 17:35 | 1.2M | |
| texinfo-4.6.tar.bz2 | 28-Nov-2003 20:07 | 1.3M | |
| texinfo-4.7.tar.bz2 | 10-Sep-2007 12:57 | 1.4M | |
| texinfo-4.8.tar.bz2 | 10-Sep-2007 12:57 | 1.5M | |
| texinfo-4.8a.tar.bz2 | 10-Sep-2007 12:57 | 1.5M | |
| texinfo-4.9.tar.bz2 | 10-Sep-2007 12:57 | 1.5M | |
| texinfo-4.11.tar.bz2 | 10-Sep-2007 12:57 | 1.6M | |
| texinfo-4.12.tar.lzma | 20-Apr-2008 08:38 | 1.3M | |