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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
