Re: [isabelle] About simplificaton

Dear Jens,

> which viewer am I supposed use, if I wanted to read a *.thy file on a win 
> machine?

The answer is simple: (X)Emacs/ProofGeneral.  The (X)Emacs coming with
the Cygwin emulation layer is suitable to run ProofGeneral.  Details are
available from the Isabelle FAQ and
the installation instructions

Hope this helps


PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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