hola Juan and all,
on the distribution site only a version named:
Core version 01.07.04.0759 (commercial) Date 2011 Dec 28 18:58:30
is available after I login.
No 1.7.5.779 as announced here, or later version is visible - at least for me.
So I am not able to install 1.7.4 because it is not there at the dist site.
Similar problems are mentioned here in this thread, but not how or if that got solved.
The current version on my machine reads 1.07.06.0793
I did not get automatic updates for about two months so I thought time to look
If 1.07.04 means 1.7.4 that would explain it, but somehow I doubt that math profs light-heartedly
omit a zero after a decimal point sometimes
Tommy
