Lu, I don't manage that website, so no. The purpose of the archive is to search for old threads about a particular topic. For interacting with the list, please use your favorite mail client.
-David On Aug 3, 2011, at 4:46 PM, Lu Zhao wrote: > I like it. > > But in the bottom of a post, there is only one buttom "Reply via email > to AUTHOR." Sometimes, it is not convenient if I want to reply to the > list. Can another option "Reply to the list" be added? > > Thanks. > Lu > > On 07/24/2011 08:06 PM, David A. Ramos wrote: >> Hi Everyone, >> >> I created a searchable klee-dev archive at: >> http://www.mail-archive.com/[email protected]/ >> >> Perhaps we should add a link to this on the KLEE webpage? It might avoid >> some unnecessary e-mails, especially from new users. >> >> -David >> >> _______________________________________________ >> klee-dev mailing list >> [email protected] >> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > _______________________________________________ > klee-dev mailing list > [email protected] > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
