Admin/PIDE/README
2012-01-18 wenzelm 2012-01-18 basic support for PIDE Scala programming, independently of the main Isabelle repository;