Thanks for your hard work Petr. Looks much better :) @Cristian. I've updated the redirect in the old KLEE SVN repo to point to the new web page.
I've created a klee legacy website repository [1] but I can't transfer it to the KLEE organisation because I don't have admin rights. @Cristian could you give me the rights temporarily or I can transfer ownership of the repository to your personal account and then you can move it to the KLEE organisation. It's up to you. Once this is done I can remove the gh-pages branch in the main KLEE repository. [1] https://github.com/delcypher/klee-legacy-website _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
