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.

regards,
        Peter

-- 
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.