Re: [isabelle] Underlined subgoals
> 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
Peter Lammich, Institut für Informatik
Raum 715, Einsteinstrasse 62, 48149 Münster
Mail: peter.lammich at uni-muenster.de
This archive was generated by a fusion of
Pipermail (Mailman edition) and