If someone seriously plans to setup a jenkins environment or something similar, this seems to be a nice candidate for inclusion.
Florian -------- Forwarded Message -------- Subject: [isabelle] seL4 open source Date: Tue, 29 Jul 2014 10:55:45 +0000 From: Gerwin Klein <gerwin.kl...@nicta.com.au> To: USR Isabelle Mailinglist <isabelle-us...@cl.cam.ac.uk> The Isabelle proofs for the seL4 microkernel are now out on http://github.com/seL4/l4v and the code on http://github.com/seL4/seL4 For more information see http://sel4.systems Enjoy! Gerwin ps: let us know if you are developing anything cool with or on the proofs or the kernel -- we will probably set up a list of community projects when a few of these have taken off. ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. -- PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev