Admin/PIDE/README

no special treatment of control_reset, in accordance to other control styles;

Prover IDE support
==================

This is some basic support for PIDE Scala programming, independently
of the main Isabelle repository.


  Makarius
  17-Jan-2012