| [..] Parent folder |
| File Name | Size | Modified Date |
| .descr | 510 | 30/10/2001 13:21 |
| .link | 24 | 30/10/2001 13:21 |
| TeXmacs-0.3.5.2-src.tar.gz | 1.318.497 | 16/10/2001 17:11 |
| TeXmacs-0.3.5.2-static-gnu-linux.tar.gz | 3.256.094 | 16/10/2001 17:12 |
| TeXmacs-0.3.5.3-static-gnu-linux.tar.gz | 3.261.679 | 30/10/2001 13:55 |
| TeXmacs-600dpi-fonts.tar.gz | 2.899.193 | 30/10/2001 13:53 |
| TeXmacs-fonts-1.0.tar.gz | 10.940 | 16/10/2001 17:09 |
| Total folders: 0 |
| Total files: 7 |
| Total size of all files: 10.746.937 |
| Date generated: 21/09/2024 17:10 |