Admin/PIDE/convert
2013-09-10 wenzelm 2013-09-10 more portable hash-bang;
2012-01-18 wenzelm 2012-01-18 basic support for PIDE Scala programming, independently of the main Isabelle repository;