2007-11-26 wenzelm moved new NEWS from Isabelle2007 to this Isabelle version'';
2007-11-26 haftmann simplified website rsync
2007-11-23 haftmann rudimentary instantiation target
2007-11-23 haftmann explicit type signature
2007-11-23 haftmann interpretation of typedecls: instantiation to class type
2007-11-23 haftmann deleted card definition as code lemma; authentic syntax for card
2007-11-23 haftmann separated typedecl module, providing typedecl command with interpretation
2007-11-23 paulson faster metis calls
2007-11-22 wenzelm tuned; Isabelle2007
2007-11-22 wenzelm updated to official Poly/ML 5.1;
2007-11-21 wenzelm tuned;
2007-11-21 wenzelm include elapsed time for parallel sessions;
2007-11-21 wenzelm intern_skolem: disallow qualified names;
2007-11-21 haftmann fixed
2007-11-21 haftmann dropped diagnostic commands
2007-11-20 wenzelm tuned;
2007-11-20 wenzelm tuned spacing;
2007-11-20 wenzelm updated Proof General advertisement;
2007-11-20 wenzelm PolyML.SaveState.loadState: exit on failure;
2007-11-19 aspinall Init outer syntax after message setup to avoid spurious output.
2007-11-19 isatest update to most recent smlnj version
2007-11-19 wenzelm inform_file_processed: made even more robust against bad file specs;
2007-11-18 wenzelm removed unused inform_file_processed;
2007-11-18 wenzelm init_empty: check before change (avoids non-linear update);
2007-11-15 aspinall Add thm_dep preference to menu, inadvertently missed off
2007-11-15 wenzelm tuned;
2007-11-15 wenzelm use -source instead of -target;
2007-11-15 wenzelm target 1.4 of JVM;
2007-11-15 wenzelm thy_name: be very liberal about file name format (workaround problem with XEmacs on cygwin);
2007-11-15 wenzelm isatool version: clarify that this is the *long* form;
2007-11-15 wenzelm ISABELLE_IDENTIFIER is filled in automatically, not taken from the *long* form of isatool version!
2007-11-15 wenzelm cover ISABELLE_IDENTIFIER;
2007-11-14 wenzelm README for E binary distribution;
2007-11-14 wenzelm tuned;
2007-11-13 paulson patching in the latest changes from Hurd
2007-11-13 wenzelm tuned;
2007-11-13 wenzelm some more items;
2007-11-13 nipkow updated
2007-11-13 berghofe Added JAR paper by Wenzel and Wiedijk.
2007-11-13 berghofe Removed some case_names and consumes attributes that are now no longer
2007-11-13 berghofe Added TrueE to extraction_expand.
2007-11-13 berghofe Added new program extraction examples.
2007-11-13 berghofe New case studies for program extraction.
2007-11-13 berghofe Moved auxiliary lemmas to separate theory.
2007-11-13 berghofe Added new exampes Greatest_Common_Divisor and Euclid.
2007-11-13 berghofe Moved nat_eq_dec to Util.thy
2007-11-13 berghofe Moved nat_eq_dec and search to Util.thy
2007-11-13 berghofe Tuned.
2007-11-13 berghofe to_pred and to_set now save induction and case rule tags.
2007-11-12 wenzelm removed left-over text links from lynx conversion;
2007-11-12 wenzelm back to sigusr2, after Poly/ML 5.1 has been adapted;
2007-11-12 wenzelm changed Posix.Signal.usr2 to Posix.Signal.usr1 to make it work with Poly/ML 5.1;
2007-11-12 nipkow updates
2007-11-12 haftmann updated
2007-11-12 wenzelm reactivated default paragraph formatting for ``proof documents'';
2007-11-12 schirmer fixed typo;
2007-11-12 schirmer added signatures;
2007-11-11 wenzelm abbrev: bypass full term check via ProofContext.standard_infer_types (prevents forced expansion);
2007-11-11 wenzelm simplified Consts.dest;
2007-11-11 wenzelm simplified Consts.dest;
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip