Date: Mon, 16 Jul 2007 18:48:31 +1000
From: Michael Norrish 

I have switched the repository to Subversion.  You should be able to
access it now - use the URL

   https://hol.svn.sf.net/svnroot/hol/HOL

do something like

   svn co https://hol.svn.sf.net/svnroot/hol/HOL

and it will check-out a working copy.

I have tried to turn off CVS access.  For "active" people I have gone
through and turned off developer access to the CVS repository, which may
still be present.

Diffs of changes should still be sent to the hol-checkins mailing list.

Let me know of any problems.

Michael.

---------------------------------------

Date: Wed, 18 Jul 2007 15:19:16 +1000
From: Michael Norrish 

Mike Gordon wrote:
 > Presumably "http://www.cl.cam.ac.uk/~mjcg/SourceForge.html" needs 
to be updated.

Yeah, some comments on how svn@S/F works:

Anonymous browsers and developers check-out working copies in the same
way.  The only difference between the two is that developers will
eventually want to do a

   svn ci

command.  When this is attempted, the system will ask for a username
and password (use your SF identity).  These details are cached on the
client machine once they've been provided successfully, so you
shouldn't need to provide them subsequently.  (This should be a big
relief for those who never got this to work over ssh.)

Only committing requires the password.  The other important commands
that only need to read the remote repository can be used by anyone.
These important commands are things like

   svn stat   - show the status of local files
   svn update - update local files from the repository
   svn diff   - show differences

In changing from CVS, I think the big thing to get used to is typing

   svn stat

instead of

   svn update

to see what's been done.  (Though there is a cvs status command, I
almost never used it.)

If you have to deal with a merge conflict (i.e., your local changes
conflict with a change that is in the repository, which you discover
on doing a svn update), you need to both fix it, and then also issue
the

   svn resolved 

command.

My standard practice with a checked out repository sees me cycle
through

   svn stat
   svn update
   svn ci

Other more exotic commands are much rarer.  The next most common is
probably

   svn add    - add a file, so that a subsequent commit moves it into
                the repository

One of Subversion's big benefits is good support for renaming (moving)
and copying files.  Just do

   svn mv file1 file2

or

   svn cp file1 file2

and the appropriate stuff happens.  Similarly, the process for
removing a file is better than in CVS where you have to do the
annoying two-step of removing it in the file system and then doing a
'cvs rm'.  With Subversion, just do

   svn rm file

With add, mv, cp and rm you have to follow-up with a ci to get your
changes committed to the repository.  If you want to undo a scheduled
(i.e., as yet uncommitted) change, use

   svn revert

Also, note that you can do a svn diff and a svn revert even if you
aren't connected to the network, because the client retains a local
copy of the latest state in the repository.

                          --------------------

As for HOL, there aren't any real changes.  The only difference is
that when you do a checkout (as per previous instructions), you will
end up with a directory called HOL, not hol98.  Configuring, building
and all the other stuff from Mike's web-page should be the same.

Michael.