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://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20070703/896b3472/attachment.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://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20070703/896b3472/attachment.pgp
