Using Subversion to update this page

See How do I update workgroup pages using SVN?

Once you have an account and access, you can check out a tree with:

svn co https://repo.eecs.berkeley.edu/svn/projects/embedded/concurrency/trunk/concurrency/
To update the web page, log in via a campus machine to ptolemy calweb-basic-prod-01.ist.berkeley.edu and cd to apache2/ptweb/projects/embedded/concurrency and perform svn update.