On Fri, 16 Mar 2012, Lawrence Paulson wrote:
I have a problem with the current version (9ff441f295c2). See
attachment. This prevents the use of PG within ZF. However, it builds at
the command line. What is supposed to be here?
Are you sure that your Pure/FOL base image is up to date?
Anyway, you can now also use Isabelle/jEdit for ZF ...
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
