SAFECode Mailing Lists

Dear All,

We now have two new mailing lists for SAFECode:

1) svadev: This mailing list is for discussion on SAFECode. Questions and comments about using SAFECode as well as development conversation on SAFECode can go here.

2) sva-commits: This mailing list gets email for all SVN commits made to SAFECode.

-- John T.

Dear All,

The URLs for the page in which to subscribe to these lists are below:

sva-commits: http://lists.cs.uiuc.edu/mailman/listinfo/sva-commits
svadev: http://lists.cs.uiuc.edu/mailman/listinfo/svadev

-- John T.

John Criswell wrote: