merge 12315:12319 from svn://svn.metaprl.org/omake-branches/jumbo/var2 into var3
----
Changes in omake-branches/jumbo/var3:
Properties .
A hyperlinked version of this commit is available at
http://svn.metaprl.org/commitlogs/omake/2007-10.html#07/10/06.12:24:54