Hi,
with the below jedit_build component (is there a newer one?) and the
Isabelle repository version a61510361b89, after building jedit with
(isabelle jedit -f), The README under "Prover Session" is not shown and
more importantly also "Output" stays empty. Do others experience the
same problem?
cheers
chris
On 10/22/2011 04:05 AM, Makarius wrote:
An optional update of the jedit_build component for "users" of the
Isabelle repository version is now available here:
http://www4.in.tum.de/~wenzelm/test/jedit_build-20111015.tar.gz
It does not change anything significant, apart from using the latest
stable jEdit 4.4.2 instead of 4.4.1 before.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev