[klee-dev] Searchable klee-dev archive

[David Ramos]

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/klee-dev@keeda.stanford.edu/
>> 
>> 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
>> klee-dev at keeda.stanford.edu
>> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
> _______________________________________________
> klee-dev mailing list
> klee-dev at keeda.stanford.edu
> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev