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?


	Makarius






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