Demonstration shows two separate tools:

The Teaching Machine

WebWriter++

A small authoring language for creating web pages for teaching programming