The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ README 14-Dec-2001 10:19 1585 TeXmacs-1.0.7.20-1.i386.rpm 20-Sep-2013 16:15 19826467 TeXmacs-1.0.7.20-installer.exe 23-Sep-2013 13:39 40066594 TeXmacs-1.0.7.20-src.tar.gz 20-Sep-2013 16:13 18594418 TeXmacs-1.0.7.20-x11-i386-pc-linux-gnu.tar.gz 20-Sep-2013 16:14 20493656 TeXmacs-1.0.7.20.dmg 24-Sep-2013 14:34 29347074 TeXmacs-extra-fonts-1.0-noarch.tar.gz 20-Apr-2009 07:50 5395696
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.