Using Subversion (version-control system): a
brief tutorial. [We won't actually be using Subversion directly,
so consider this tutorial more as background material, at least for working on the instructional machines.
You might nevertheless find it useful for working from home.]