
<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:times new roman,new york,times,serif;font-size:12pt"><div style="font-family: times new roman,new york,times,serif; font-size: 12pt;"><br><div style="font-family: times new roman,new york,times,serif; font-size: 12pt;">> (a) Wi.l there be a publicly available repository for the code?<br><br>Any ideas on this? At the least students and mentors want to share code, maybe others ..<br> but we don't want to hit the main trunk in the initial stages, and branching probably unnecessarily complicated.<br><br>-Mikel<br></div></div></div></body></html>