@menu
* Tags::
* cscope::
-* CVS:: @ifset recommendsourceforge
-* SourceForge:: @end ifset
+@ifset recommendcvs
+* CVS::
+@end ifset
+@ifset recommendgit
+* Git::
+@end ifset
@ifset recommendvnc
-* VNC:: @end ifset
+* VNC::
+@end ifset
@ifset recommendcygwin
-* Cygwin:: @end ifset
+* Cygwin::
+@end ifset
@end menu
@node Tags
visit @url{http://cscope.sourceforge.net, the @command{cscope} home
page}.
+@ifset recommendgit
+@node Git
+@section Git
+
+It's crucial that you use a source code control system to manage your
+Pintos code. This will allow you to keep track of your changes
+and coordinate changes made by different people in the project. For this
+class we recommend that you use Git; if you followed the instructions on
+getting started, a Git repository will already have been created for you.
+If you don't already know how to use Git, we recommend that you read
+the @uref{http://git-scm.com/book, , Pro Git} book online.
+@end ifset
+
+@ifset recommendcvs
@node CVS
@section CVS
home page}.
@include localcvsinstructions.texi
-
-@ifset recommendsourceforge
-@node SourceForge
-@section SourceForge
-
-SourceForge is a web-based system for facilitating software
-development. It provides you with a version-control system (typically
-CVS, as described above) and other tools for tracking your software.
-You can use it to store files, track bugs, and post notes about
-development progress. You can set up your own
-project in SourceForge at @uref{http://sourceforge.net, ,
-sourceforge.net}.
@end ifset
@ifset recommendvnc