 | Re: ProofNavigator is very slow while using Cygwin - a possible solution |
|
Dear Günther Mayrhofer, many thanks for the suggestion. From the email I conclude that some people have problems running the ProofNavigator in a convenient way. It seems that on a not so fast Internet connection running X over Cygwin may make interactions very slow (I cannot really judge this, using my personal ADSL account at home, usage is not excellent but still okay). For those affected I recommend to go for the solution suggested by GM. Alternatively, for those of you who have no fast Internet connection but own a notebook, I recommend to work within the university WLAN. As a students of mathematics, you may also apply in the secretary's office of the institute for Algebra for an account to the PCs in KG 419, where Xceed (another X server) is running on the Windows PCs. From there, work should also be convenient. Finally, I can also offer you to work on some of the public PCs in Hagenberg; if you are interested, please contact me. Best regards, Wolfgang Schreiner |
Formal Methods in Software Development (SS 2007)
|