diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2010-12-09 23:26:44 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2010-12-09 23:26:44 +0000 |
| commit | c0b18618f469db92ff8b1649399c4b9c40d0e74b (patch) | |
| tree | 4ef0fd9effdb1635d39548af0620ee2e5341b2db /www/menu.html.incl | |
| parent | 6b5c91d2bb3f93f2e2a9d4b64bee71413007cd4a (diff) | |
| download | klee-c0b18618f469db92ff8b1649399c4b9c40d0e74b.tar.gz | |
Added a webpage on KLEE-related publications.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@121429 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/menu.html.incl')
| -rw-r--r-- | www/menu.html.incl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/www/menu.html.incl b/www/menu.html.incl index 7e73fb16..abb26a91 100644 --- a/www/menu.html.incl +++ b/www/menu.html.incl @@ -9,6 +9,7 @@ <a href="GetInvolved.html">Get Involved</a> <a href="Documentation.html">Documentation</a> <a href="Tutorials.html">Tutorials</a> + <a href="Publications.html">Publications</a> </div> <div class="submenu"> |