src/Pure/System/session.scala
changeset 36676 ac7961d42ac3
parent 35013 f3d491658893
child 36682 3f989067f87d
     1.1 --- a/src/Pure/System/session.scala	Wed May 05 15:30:01 2010 +0200
     1.2 +++ b/src/Pure/System/session.scala	Wed May 05 22:23:45 2010 +0200
     1.3 @@ -1,8 +1,8 @@
     1.4 -/*
     1.5 - * Isabelle session, potentially with running prover
     1.6 - *
     1.7 - * @author Makarius
     1.8 - */
     1.9 +/*  Title:      Pure/System/session.scala
    1.10 +    Author:     Makarius
    1.11 +
    1.12 +Isabelle session, potentially with running prover.
    1.13 +*/
    1.14  
    1.15  package isabelle
    1.16