Re: [isabelle] Underlined subgoals

Makarius wrote:
> On Sat, 29 Dec 2007, Peter Lammich wrote:
>> 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.
> Very strange.  Which version of Emacs is this?
Emacs: [version 21.4.20; December 2006]
ProofGeneral: Version 3.7pre071112.

When I have a reproducible example, I'll also post it. Currently I have
none, because I thought it was some feature, not a bug and did not
isolate one.


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

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