1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

The CCVisu Project uses the following mailing lists:

- CCVisu@sosy-lab.org
  Announcements about the CPAchecker project.
  User discussion, questions, solutions to common problems.
  Developer discussion about the design and implementation of CCVisu.
  Anyone can post, anyone can join.
  https://groups.google.com/a/sosy-lab.org/group/ccvisu

- CCVisu-Commits@sosy-lab.org
  Archive of commit messages from the CCVisu repository.
  Read-only, by invitation only, high volume.
  Replies go to CCVisu@sosy-lab.org
  https://groups.google.com/a/sosy-lab.org/group/ccvisu-commits

For group subscription and web access: visit http://groups.sosy-lab.org
  and click on "Browse all groups".
  Choose the group you want to visit or subscribe.
  In order to sign in to one of the sosy-lab groups,
  use the non-bold link "Sign in for Google Groups".
  It might ask you for a Sosy-Lab account -- if you don't have one,
  click on "Enter your email address to access ...".
  This does not necessarily need to be a Google email account.

For project information: visit http://ccvisu.sosy-lab.org

dbeyer 2011-11-29