Re: [isabelle-dev] Broken session

2013-11-04 Thread Florian Haftmann
On 04.11.2013 17:31, Jasmin Christian Blanchette wrote: > Sorry, fixed (81ee85f56e2d). Thnx. Florian -- PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de signature.asc Description: OpenPGP digital signature __

Re: [isabelle-dev] Broken session

2013-11-04 Thread Jasmin Christian Blanchette
Sorry, fixed (81ee85f56e2d). Jasmin Am 01.11.2013 um 21:06 schrieb Florian Haftmann : > This refers to Isabelle hg id b1d955791529 > >> Running HOL-Proofs-Extraction ... >> >> HOL-Predicate_Compile_Examples FAILED >> (see also >> /mnt/home/haftmann/data/isabelle/master/heaps/polyml-5.5.1_x86

[isabelle-dev] Broken session

2013-11-01 Thread Florian Haftmann
This refers to Isabelle hg id b1d955791529 > Running HOL-Proofs-Extraction ... > > HOL-Predicate_Compile_Examples FAILED > (see also > /mnt/home/haftmann/data/isabelle/master/heaps/polyml-5.5.1_x86-linux/log/HOL-Predicate_Compile_Examples) > > Proving the elimination rules ... > Proving the