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
