In your reply to Shailesh Shirali you discuss versions.How do I find out which version of ProteXt I am actually using? I installed mine some three years ago, use it only intermittently but then heavily, and I wonder whether it would be worthwhile to change to a newer version.
Peter J. Huber
-- http://tug.org/protext/
