Christopher Faylor schrieb:
I've uploaded the new version but are you sure you don't want to just keep the old version around just in case? There is just one old version in the TeXmacs directory now so there is no hardship involved in keeping it around and it does allow people to drop back if they find a problem.
Indeed, it's better to keep the old version just in case, thanks. Best regards, Andreas -- http://www.fmi.uni-passau.de/~seidl
