On Wed, 11 Mar 2009, Florian Haftmann wrote:
> hg update -v
>
> resp.
>
> hg pull -u -v
>
> This then imitates the CVS style output which tells explicitly which
> files receive changes, which is helpful to find out whether somebody
> else is working on the files I am currently editi
/florian_haftmann_at_informatik_tu_muenchen_de
-- next part --
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 252 bytes
Desc: OpenPGP digital signature
URL:
<https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20090311/fde05