diff --git a/alliance/share/man/man1/vasy.1 b/alliance/share/man/man1/vasy.1
index d320f1e6..1ff866cd 100644
--- a/alliance/share/man/man1/vasy.1
+++ b/alliance/share/man/man1/vasy.1
@@ -1,4 +1,4 @@
-.\"   $Id: vasy.1,v 1.4 2000/02/11 10:47:08 syf Exp $
+.\"   $Id: vasy.1,v 1.5 2000/03/02 17:15:40 syf Exp $
 .\" @(#)Labo.l 2.2 95/09/24 UPMC; Author: Jacomme L.
 .pl -.4
 .TH VASY 1 "November 26, 1999" "ASIM/LIP6" "CAO\-VLSI Reference Manual"
@@ -8,17 +8,20 @@ VASY \- VHDL Analyzer for Synthesis
 .so man1/alc_origin.1
 .SH SYNOPSIS
 .TP
-\f4vasy \-V|v|a|s|S [-I input_format] input_name [output_name]
+\f4vasy \-V|v|a|s|S|H [-I input_format] input_name [output_name]
 .br
 .SH DESCRIPTION
 .br
-\fBVASY\fp is a VHDL Analyzer for Synthesis.
+\fBVASY\fp is a hierarchical VHDL Analyzer for Synthesis.
 \fBVASY\fp performs a semantic analysis of a VHDL RTL description 
 \fBinput_name\fP, with a VHDL subset much more extended than the Alliance one
 (see vasy(5) for more details), and identifies with precision all the 
 memorizing elements and tristate buffers.
 .br
-After this analysis, \fBVASY\fp drives an equivalent description
+During its analysis, \fBVASY\fp expands generic parameters, executes generic map
+and generate statements, and also unrolls static FOR loops.
+.br
+At the end, \fBVASY\fp drives an equivalent description
 \fBoutput_name\fP (in Verilog or VHDL format) accepted by most of
 synthesis tools.
 .br
@@ -52,14 +55,22 @@ Uses Std_logic instead of Bit (taken into account only with option -s).
 \f4\-I\fP
 Specifies the VHDL input format such as Alliance VHDL format \fBvbe\fP(5),
 \fBvst\fP(5) or industrial VHDL format \fBvhd\fP or \fBvhdl\fP.
+.TP 10
+\f4\-H\fP
+In a structural description, all model of instances are recursively analyzed.
+(By default \fBVASY\fp analyzes only models with generic parameters)
+The leaves cells are defined by a special file (see catal(5) for details).
 .ti 7
 
 .SH SEE ALSO
 .BR vasy (5),
 .BR vbe (5),
 .BR vhdl (5),
+.BR catal (5).
 .BR asimut (1),
 .BR MBK_WORK_LIB (1).
+.BR MBK_CATA_LIB (1).
+.BR MBK_CATAL_NAME (1).
 
 .so man1/alc_bug_report.1