![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/binary.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Blasius.png | 2024-06-06 11:01 | 211K | |
| Chazy.png | 2024-06-06 11:01 | 177K | |
| LP4TeXmacs-0.1.tar.gz | 2024-06-06 11:01 | 8.1K | |
| Source-doc.tar.gz | 2024-06-06 11:01 | 28K | |
| TeXmacs-1.0-misc.tar.gz | 2024-06-06 11:01 | 117K | |
| TeXmacs-1.0.0.17-mis..> | 2024-06-06 11:01 | 48K | |
| TeXmacs-1.99.16-inst..> | 2024-06-06 11:01 | 119M | |
| TeXmacs-1.99.16-inst..> | 2024-06-06 11:01 | 129M | |
| TeXmacs-1.99.16-inst..> | 2024-06-06 11:01 | 119M | |
| bench.tar.gz | 2024-06-06 11:01 | 416K | |
| big.tm | 2024-06-06 11:01 | 541K | |
| bprnew.ts | 2024-06-06 11:01 | 9.5K | |
| cover.tm | 2024-06-06 11:01 | 1.6K | |
| derive_walter.tiff | 2024-06-06 11:01 | 189K | |
| guile.patch | 2024-06-06 11:01 | 2.4K | |
| logo_springer.ps | 2024-06-06 11:01 | 53K | |
| logo_texmacs.ps | 2024-06-06 11:01 | 108K | |
| mycas-demo.tar.gz | 2024-06-06 11:01 | 2.2K | |
| walter.tiff | 2024-06-06 11:01 | 246K | |