Subject: CVS commit: htdocs/guide/en
To: None <>
From: Elad Efrat <>
List: www-changes
Date: 08/07/2005 16:33:08
Module Name:	htdocs
Committed By:	elad
Date:		Sun Aug  7 16:33:08 UTC 2005

Modified Files:
	htdocs/guide/en: chap-veriexec.xml

Log Message:
Mention the aliases.

To generate a diff of this commit:
cvs rdiff -r1.2 -r1.3 htdocs/guide/en/chap-veriexec.xml

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.