I accidentally committed too many files to an SVN repository and changed some things I didn\'t mean to. (Sigh.) In order to revert them to their prior state, the best I coul
If you only want to undo the last checkin, you can use the following
svn merge -r head:prev l3toks.dtx
That way, you don't have to hunt for the current and previous version numbers.