To download this you could use wget like this:
wget -m -np -nH https://mnetproject.org/repos/mnet
But I strongly recomend getting the client for you system and using that. (Windows users)
Once you have it you can run
darcs get https://mnetproject.org/repos/mnet
Which is like cvs co
. Once you have a "mnet" directory, with a "_darcs" directory under you can just
cd $MNETDIR; darcs pull --all
to update to the latest version (this is like cvs update
).
If you want to see a more detailed list of what patches are in the update you can use
cd $MNETDIR; darcs pull
which will ask you about each patch. Check out the menu options with "?" and you'll see how you can view the patch before it applied. You can even choose to ignore some patches.
View patches in mnet
Comments about these docs should be sent to