isabelle is now stable - next is the proper integration of all aspects
style