2009-04-14 wenzelm 2009-04-14 more robust handling of emacs options -- this is not necessarily an Isabelle process environment yet;
2009-04-14 wenzelm 2009-04-14 merged
2009-04-14 wenzelm 2009-04-14 actually invoke ISABELLE_TOOL;
2009-04-14 wenzelm 2009-04-14 added Haskabelle -- in accordance to website/index.html version f397b96e3ad2;
2009-04-14 wenzelm 2009-04-14 ISABELLE_USEDIR_OPTIONS: less ambitious -M1 by default -- multithreading is largely untested on fringe platforms (cygwin, solaris);
2009-04-14 wenzelm 2009-04-14 misc updates for Isabelle2009;
2009-04-08 wenzelm 2009-04-08 Added tag isa2009-test for changeset dda08b76fa99
2009-04-08 wenzelm 2009-04-08 updated official title of contribution by Johannes Hoelzl;
2009-04-07 wenzelm 2009-04-07 misc tuning and updates;
2009-04-07 wenzelm 2009-04-07 updated doc setup;
2009-04-07 wenzelm 2009-04-07 merged
2009-04-07 wenzelm 2009-04-07 moved generated eps/pdf to main directory, for proper display in dvi;
2009-04-07 wenzelm 2009-04-07 updates for E-1.0-004;
2009-04-07 haftmann 2009-04-07 tuned manual
2009-04-06 haftmann 2009-04-06 merged
2009-04-06 haftmann 2009-04-06 tuned comment
2009-04-06 wenzelm 2009-04-06 Added tag isa2009-test for changeset 613c2eb8aef6
2009-04-06 haftmann 2009-04-06 tuned whitespace
2009-04-05 wenzelm 2009-04-05 merged
2009-04-04 immler 2009-04-04 reverted to explicitly check the presence of a refutation (compare to 479a2fce65e6); simplified handling of errors in remote script
2009-04-05 wenzelm 2009-04-05 tuned white space;
2009-04-05 wenzelm 2009-04-05 merged
2009-04-05 wenzelm 2009-04-05 \nolinkurl for dvi mode recovers hyphenation of URLs -- this already works by default in PDF mode;
2009-04-05 wenzelm 2009-04-05 removed obsolete website directory -- information derived by website/build;
2009-04-05 chaieb 2009-04-05 More precise treatement of rational constants by the normalizer for fields
2009-04-05 chaieb 2009-04-05 fixed usage of rational constants
2009-04-05 chaieb 2009-04-05 No Complex_Main needed
2009-04-05 chaieb 2009-04-05 now deals with devision in fields
2009-04-03 wenzelm 2009-04-03 fixed formal markup;
2009-04-03 nipkow 2009-04-03 merged
2009-04-03 nipkow 2009-04-03 Finite_Set: lemma IsarRef: attribute arith
2009-04-03 wenzelm 2009-04-03 single-threaded build; misc tuning and simplification;
2009-04-03 berghofe 2009-04-03 merged
2009-04-03 berghofe 2009-04-03 Added check whether argument types of inductive set agree with types of declared parameters to avoid low-level error messages.
2009-04-03 nipkow 2009-04-03 added setsum_eq_1_iff
2009-04-02 wenzelm 2009-04-02 simplified website/config;
2009-04-02 nipkow 2009-04-02 Updated to corrected E output messages
2009-04-02 wenzelm 2009-04-02 updated keywords (with polyml-experimental);
2009-04-02 wenzelm 2009-04-02 some more HOL-Nominal news;
2009-04-02 wenzelm 2009-04-02 merged
2009-04-02 wenzelm 2009-04-02 tuned signature;
2009-04-02 wenzelm 2009-04-02 misc tuning for release;
2009-04-02 berghofe 2009-04-02 merged
2009-04-02 berghofe 2009-04-02 Fixed bug in transformation of congruence rule for == (thanks to Andy Schropp for reporting this).
2009-04-02 wenzelm 2009-04-02 some HOL-Nominal news;
2009-04-02 wenzelm 2009-04-02 updates for Isabelle2009 release;
2009-04-02 wenzelm 2009-04-02 tuned;
2009-04-02 wenzelm 2009-04-02 merged
2009-04-02 wenzelm 2009-04-02 misc cleanup and rearrangements for Isabelle2009 release;
2009-04-01 nipkow 2009-04-01 merged
2009-04-01 nipkow 2009-04-01 cleaned up setprod_zero-related lemmas
2009-04-01 huffman 2009-04-01 merged
2009-04-01 huffman 2009-04-01 generalized setprod_nonneg and setprod_pos to ordered_semidom, simplified proofs
2009-04-01 nipkow 2009-04-01 added nat_div_gt_0 [simp]
2009-04-01 nipkow 2009-04-01 added setsum_pos_nat
2009-04-01 nipkow 2009-04-01 merged
2009-04-01 nipkow 2009-04-01 added strong_setprod_cong[cong] (in analogy with setsum) added some lemmas
2009-04-01 haftmann 2009-04-01 proper external tikz pictures
2009-04-01 wenzelm 2009-04-01 merged
2009-04-01 wenzelm 2009-04-01 tuned comments;