src/Pure/System/session.scala

--- a/src/Pure/System/session.scala	Wed May 05 15:30:01 2010 +0200
+++ b/src/Pure/System/session.scala	Wed May 05 22:23:45 2010 +0200
@@ -1,8 +1,8 @@
-/*
- * Isabelle session, potentially with running prover
- *
- * @author Makarius
- */
+/*  Title:      Pure/System/session.scala
+    Author:     Makarius
+
+Isabelle session, potentially with running prover.
+*/
 
 package isabelle