[klee-dev] New KLEE website

[Petr Hosek]

Dear all,

I have launched the new KLEE website (http://klee.github.io/) as some of
you already noticed a few days ago.

Apart from new design (which is still tentative and could change in the
future as we iron out various issues), possible the biggest change is the
use of static site generator, in this case Jekyll, and consequently the
fact that all content has been rewritten in Markdown. This should make it
easier to maintain the existing and author new content.

If you spot any issues or have any suggestions for improvements, please let
us know, or even better, submit a pull request on GitHub (
https://github.com/klee/klee.github.io).

Cheers,

Petr
-------------- next part --------------
HTML attachment scrubbed and removed