Thanks, David, this is really useful! I added a link to it via another level of indirection on the website. Let me know if you'd like to do this in a different way.
Best, Cristian On 25/07/11 04:06, 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
