
<html>

<body>

<font size=3>In your reply to Shailesh Shirali you discuss versions.<br>

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.<br>

Peter J. Huber </font></body>

</html>