> Do we need the ADDED THEOREM lines? Couldn't we just, for any added \ref{x}
> in the current `darcs whatsnew`, depend on `darcs changes --matches='hunk
> "+.*\label{x}"'` (modulo regex escaping)?Er, yes. From my reading of "darcs help changes" I couldn't see how to match against a hunk, or in fact anything about the match system. Is this described anywhere in the "darcs help" system? I've since found http://darcs.net/manual/Darcs_commands.html#SECTION00611000000000000000, so I know that it *is* documented :-) > Things get more complicated if labels can be removed and added later again, > then we may want to depend on the - uhm - earliest match? Most recent, I'd have thought. Miles _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
