*******************  ERLTOOLS  VERSIONS *****************
31/06/96 1.0 distribution on sunsite
17/07/96 1.01 bug correction 
18/09/96 1.02 update djgpp 2.0 compilation 
24/09/96 1.03 modify doc/*.ps bad layout
24/09/96 1.04 bug correction in pretty printer, float constants
24/09/96 1.05 bug correction in pretty printer, initialization in 
                  constructor of herited class without parameter
01/01/97 1.06 compilation under djgpp 7.2.1/W95, calc example for parser generator
03/01/97 1.07 bug correction for template arguments
05/01/97 1.08 add pretty print of ansi exceptions
22/01/97 1.09 documentation on prettyprint flags
01/03/97 1.10 bug correction in pretty printer, functions with template
02/03/97 1.11 bug correction in pretty printer change new precedence
29/05/98 2.00 port under Microsoft and Borland and miscellaneous optimizations
              add erlscale, norm checking for c/c++