Pedagogic integrated development environments