[isabelle] Underlined subgoals


in the new ProofGeneral shipped with the 2007 version, sometimes the
subgoals in the goals-buffer are underlined, sometimes only the
conclusion part of the subgoal.
Has this any meaning ?


Peter Lammich, Institut für Informatik
Raum 715, Einsteinstrasse 62, 48149 Münster
Mail: peter.lammich at uni-muenster.de
Tel: 0251-83-32749
Mobil: 0163-5310380

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.