[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?


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.