src/Pure/System/session_manager.scala
2010-05-24 wenzelm 2010-05-24 renamed "rev" to "reverse" following usual Scala conventions;
2009-12-22 wenzelm 2009-12-22 Isabelle session manager -- most basic setup;