diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2013-01-23 16:30:55 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2013-01-23 16:30:55 +0000 |
| commit | 60dbbf4368f89bcabed1b3adf95dc0a59d08b5d9 (patch) | |
| tree | d374ede23f690e7ebfc7b6f38ca2f124cb6d6e22 | |
| parent | b42f6baf4358a81683cd0ab1a8529683a6819ab5 (diff) | |
| download | klee-60dbbf4368f89bcabed1b3adf95dc0a59d08b5d9.tar.gz | |
Updated text referring to the old mailing list on keeda.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173271 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | www/GetStarted.html | 2 | ||||
| -rw-r--r-- | www/OpenProjects.html | 2 | ||||
| -rw-r--r-- | www/bugs.html | 5 | ||||
| -rw-r--r-- | www/klee-dev.html | 4 |
4 files changed, 6 insertions, 7 deletions
diff --git a/www/GetStarted.html b/www/GetStarted.html index 71e6b63a..f135b2a2 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -236,7 +236,7 @@ runtime, which is built on top of the uClibc C library. to try KLEE.</li> </ol> -<p><b>NOTE:</b> If you are installing the system of Ubuntu 12.04 (or similar), you might want to take a look at this <a href="http://keeda.stanford.edu/pipermail/klee-dev/2012-September/000922.html">thread</a>.</p> +<p><b>NOTE:</b> If you are installing the system of Ubuntu 12.04 (or similar), you might want to take a look at this <a href="http://thread.gmane.org/gmane.comp.compilers.llvm.klee/923">message</a>.</p> <br/> </div> diff --git a/www/OpenProjects.html b/www/OpenProjects.html index 33888ba0..d4a01964 100644 --- a/www/OpenProjects.html +++ b/www/OpenProjects.html @@ -18,7 +18,7 @@ This page lists a variety of open projects that are natural (and tractable) extensions of KLEE and things that we would love to see people work on. If you are interested in tackling any of the projects, please mail - <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev</a> + <a href="klee-dev.html">klee-dev</a> with your ideas -- or even better, your patches!.</a> <ul> diff --git a/www/bugs.html b/www/bugs.html index fca13033..1ac9421a 100644 --- a/www/bugs.html +++ b/www/bugs.html @@ -16,9 +16,8 @@ <!--*********************************************************************--> Please report any bugs in KLEE to - the <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev - mailing list</a>. You need to be subscribe to the list in order to - send your report. + the <a href="klee-dev.html">klee-dev mailing list</a>. You need to + be subscribe to the list in order to send your report. </div> </body> diff --git a/www/klee-dev.html b/www/klee-dev.html index 8f965e8a..5434ce57 100644 --- a/www/klee-dev.html +++ b/www/klee-dev.html @@ -21,8 +21,8 @@ mailing list.</p> - <p>However, before doing so, please check <a href=" - http://www.mail-archive.com/klee-dev@keeda.stanford.edu/">klee-dev's + <p>However, before doing so, please + check <a href="http://www.mail-archive.com/klee-dev@imperial.ac.uk/">klee-dev's searchable archive<a/> to see if your question has already been answered.</p> |