2012-01-16 wenzelm 2012-01-16 position constraints for numerals enable PIDE markup;
2012-01-16 wenzelm 2012-01-16 more careful cumulation of tooltips -- ensure uniform range;
2012-01-16 wenzelm 2012-01-16 tuned;
2012-01-16 nipkow 2012-01-16 tuned
2012-01-16 nipkow 2012-01-16 missing dependency
2012-01-15 wenzelm 2012-01-15 tuned example;
2012-01-15 wenzelm 2012-01-15 merged
2012-01-15 wenzelm 2012-01-15 back to more basic caret_range (reverting 0ad063afa3d6) -- BreakIterator crashes due to non-zero text.offset when deleting the first character of the buffer;
2012-01-15 wenzelm 2012-01-15 recovered outdated_color (cf. 4beb2f41ed93);
2012-01-15 wenzelm 2012-01-15 more precise rendering of overview_color/gutter_message/squiggly_underline based on cumulation of command status and warning/error messages;
2012-01-15 wenzelm 2012-01-15 tuned proofs;
2012-01-15 nipkow 2012-01-15 tuned
2012-01-15 wenzelm 2012-01-15 tuned signature;
2012-01-15 wenzelm 2012-01-15 comments;
2012-01-15 wenzelm 2012-01-15 tuned proofs;
2012-01-15 wenzelm 2012-01-15 eliminated dead code, together with spurious warning about congruence rule for "Fun.comp";
2012-01-15 wenzelm 2012-01-15 more explicit/robust treatment of common snapshot;
2012-01-14 wenzelm 2012-01-14 discontinued old-style Term.list_abs in favour of plain Term.abs;
2012-01-14 wenzelm 2012-01-14 renamed Term.list_all to Logic.list_all, in accordance to HOLogic.list_all;
2012-01-14 wenzelm 2012-01-14 renamed Term.all to Logic.all_const, in accordance to HOLogic.all_const;
2012-01-14 wenzelm 2012-01-14 tuned;
2012-01-14 wenzelm 2012-01-14 discontinued old-style Term.list_all_free in favour of plain Logic.all;
2012-01-14 wenzelm 2012-01-14 tuned;
2012-01-14 wenzelm 2012-01-14 discontinued default rendering for Oheimb's double-space;
2012-01-14 wenzelm 2012-01-14 tuned white space;
2012-01-14 wenzelm 2012-01-14 tuned comment;
2012-01-14 wenzelm 2012-01-14 paranoia null check -- prevent spurious crash of jedit token markup;
2012-01-14 wenzelm 2012-01-14 tuned comments;
2012-01-14 wenzelm 2012-01-14 tuned signature;
2012-01-14 wenzelm 2012-01-14 clarified partial restrict operation;
2012-01-14 wenzelm 2012-01-14 tuned proofs;
2012-01-14 wenzelm 2012-01-14 ignore empty gfx_range; tuned;
2012-01-14 wenzelm 2012-01-14 tuned signature;
2012-01-13 nipkow 2012-01-13 tuned
2012-01-13 wenzelm 2012-01-13 handle specific exception, not arbitrary ones (including Interrupt);
2012-01-13 wenzelm 2012-01-13 eliminated dead code;
2012-01-12 wenzelm 2012-01-12 more modest settings for lxbroy10 -- might actually perform better;
2012-01-12 wenzelm 2012-01-12 tuned;
2012-01-12 wenzelm 2012-01-12 improved select_markup: include filtering of defined results;
2012-01-12 wenzelm 2012-01-12 tuned text_color: cumulate with explicit default color;
2012-01-12 wenzelm 2012-01-12 added cat_lines convenience;
2012-01-12 wenzelm 2012-01-12 tuned;
2012-01-12 wenzelm 2012-01-12 clarified mkString: no extra line-breaks for XML.Body;
2012-01-12 bulwahn 2012-01-12 adding exhaustive instances for type constructor set
2012-01-12 berghofe 2012-01-12 Updated generated file
2012-01-12 berghofe 2012-01-12 Added inf_Int_eq to pred_set_conv database as well
2012-01-11 wenzelm 2012-01-11 more conventional eval_tac vs. method_setup "eval"; clarified method "normalization": THEN_ALL_NEW avoids bumping into other subgoals;
2012-01-11 wenzelm 2012-01-11 updated generated file -- change of printed case syntax probably due to f805747f8571;
2012-01-11 wenzelm 2012-01-11 actually try to preserve names given by user (cf. 463b594e186a);
2012-01-11 wenzelm 2012-01-11 updated example -- List.foldl is no longer defined via primrec;
2012-01-11 wenzelm 2012-01-11 more qualified names; more antiquotations;
2012-01-11 wenzelm 2012-01-11 refer to imp_cong from HOL, not Drule (!) -- cf. 4ed94d92ae19;
2012-01-11 wenzelm 2012-01-11 more robust ISABELLE_HOME_USER for repository versions -- some versions of Emacs interpret foo//bar as /bar even on the command-line (unlike regular POSIX semantics);
2012-01-11 berghofe 2012-01-11 merged
2012-01-11 berghofe 2012-01-11 Removed strange hack introduced in b27e93132603, since equivariance is working again
2012-01-10 berghofe 2012-01-10 Replaced perm_set_eq by perm_set_def
2012-01-10 berghofe 2012-01-10 Corrected pt_set_inst, added missing cp_set_inst, deleted obsolete pt_insert_eqvt, pt_set_eqvt, and perm_set_eq
2012-01-10 berghofe 2012-01-10 Reverted several lemmas involving sets to the state before the removal of the set type.
2012-01-10 wenzelm 2012-01-10 clarified Isabelle_Rendering vs. physical painting; discontinued slightly odd object-oriented Markup_Tree.Cumulate/Select;
2012-01-10 berghofe 2012-01-10 pred_subset_eq and SUP_UN_eq2 are now standard pred_set_conv rules