[isabelle-dev] Subversion - keyword expansion by default

[Florian Haftmann]

For all casual users of subversion: if you don't want to set the
"svn:keywords" property by hand all the time, you may consider to merge
the following into your ~/.subversion/config:

[miscellany]
enable-auto-props = yes

[auto-props]
*.ML = svn:keywords=Id
*.hs = svn:keywords=Id
*.thy = svn:keywords=Id
*.tex = svn:keywords=Id
*.bib = svn:keywords=Id
*.dot = svn:keywords=Id
*.html = svn:keywords=Id
*.xml = svn:keywords=Id
*.xsd = svn:keywords=Id
*.sty = svn:keywords=Id
*.imp = svn:keywords=Id
*.css = svn:keywords=Id
*.mak = svn:keywords=Id
*.txt = svn:keywords=Id
*.bash = svn:keywords=Id
*.py = svn:keywords=Id
*.pl = svn:keywords=Id
*.js = svn:keywords=Id
*.ini = svn:keywords=Id
*.info = svn:keywords=Id
Makefile = svn:keywords=Id

========================================================================

See further http://svnbook.red-bean.com/nightly/en/svn.ref.properties.html

	Florian
-------------- next part --------------
A non-text attachment was scrubbed...
Name: florian.haftmann.vcf
Type: text/x-vcard
Size: 654 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20070703/896b3472/attachment-0002.vcf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 185 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20070703/896b3472/attachment.sig>