[klee-dev] Searchable klee-dev archive
daramos at stanford.edu
Wed Aug 3 16:53:44 PDT 2011
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.
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?
> On 07/24/2011 08:06 PM, David A. Ramos wrote:
>> Hi Everyone,
>> I created a searchable klee-dev archive at: http://firstname.lastname@example.org/
>> Perhaps we should add a link to this on the KLEE webpage? It might avoid some unnecessary e-mails, especially from new users.
>> klee-dev mailing list
>> klee-dev at keeda.stanford.edu
> klee-dev mailing list
> klee-dev at keeda.stanford.edu
More information about the klee-dev