[isabelle] Isabelle2011-1 with PG crashes



Dear Users,

PG 4.1 (which comes with Isabelle 2011-1) crashes all the time when typing
 \<forall>, right after I type
the right angle bracket. I am using \forall (as in LaTeX) which it works
 as well.

Did somebody else meet the same problem?

Best!

-- 
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Coordenador do Curso de Ciência da Computação
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil




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