Missing SVN properties added


git-svn-id: http://www.latex-project.org/svnroot/experimental/trunk@4416 de43f980-851b-0410-b2f7-c40aca1f87e0