2013-01-14 hoelzl 2013-01-14 introduce first_countable_topology typeclass
2013-01-14 hoelzl 2013-01-14 move prod instantiation of second_countable_topology to its definition
2013-01-14 hoelzl 2013-01-14 renamed countable_basis_space to second_countable_topology
2013-01-14 hoelzl 2013-01-14 move eventually_Ball_finite to Limits
2013-01-14 kuncar 2013-01-14 more update on Lifting in isar-ref
2013-01-14 kuncar 2013-01-14 NEWS
2013-01-14 kuncar 2013-01-14 update isar-ref for Quotient and Lifting package
2013-01-14 blanchet 2013-01-14 run Sledgehammer provers in parallel in "try"
2013-01-14 blanchet 2013-01-14 less brutal Metis failure -- the brutality was accidentally introduced by df8ae0590be2
2013-01-14 blanchet 2013-01-14 adjust weights -- sorts are prolific, so tone them down even more
2013-01-13 wenzelm 2013-01-13 merged
2013-01-13 wenzelm 2013-01-13 merged
2013-01-13 wenzelm 2013-01-13 more exhaustive full test, to avoid surprises with makedist_library;
2013-01-13 wenzelm 2013-01-13 hardwired document_variants, to prevent HOL-IMP's \snip choking on macros from isabellestags.sty;
2013-01-13 blanchet 2013-01-13 don't learn theories -- this option is very slow and not very helpful
2013-01-13 blanchet 2013-01-13 more informative output
2013-01-13 blanchet 2013-01-13 have Mirabelle produce more output
2013-01-13 blanchet 2013-01-13 tuned message
2013-01-13 wenzelm 2013-01-13 merged
2013-01-13 wenzelm 2013-01-13 updated makedist_library;
2013-01-13 wenzelm 2013-01-13 some attempts to avoid "._" files on Mac OS X;
2013-01-13 wenzelm 2013-01-13 more sensible order of theory nodes (correspondance to Scala version), e.g. relevant to theory progress;
2013-01-13 blanchet 2013-01-13 honor unknown chained in MaSh and a few other tweaks
2013-01-13 blanchet 2013-01-13 remove obsolete MaSh files
2013-01-13 blanchet 2013-01-13 don't generate queries with empty dependency list
2013-01-13 blanchet 2013-01-13 cleaned up hint handling
2013-01-13 blanchet 2013-01-13 better handlig of built-ins -- at the top-level, not in subterms
2013-01-12 wenzelm 2013-01-12 tuned message;
2013-01-12 wenzelm 2013-01-12 proper window title;
2013-01-12 wenzelm 2013-01-12 add icon for toplevel windows;
2013-01-12 wenzelm 2013-01-12 lower bound to font size for the sake of Mac OS X (cf. 4cd2d090be8f);
2013-01-12 wenzelm 2013-01-12 forced scroll to bottom, for improved cross-platform appearance;
2013-01-12 wenzelm 2013-01-12 merged
2013-01-12 wenzelm 2013-01-12 tuned font size, notably for current HD displays;
2013-01-12 wenzelm 2013-01-12 more uniform Pretty.char_width;
2013-01-12 wenzelm 2013-01-12 tuned build_dialog: auto_close checkbox avoids user sitting and waiting;
2013-01-12 wenzelm 2013-01-12 tuned signature;
2013-01-12 wenzelm 2013-01-12 more uniform theory progress in build -v and build_dialog;
2013-01-12 wenzelm 2013-01-12 immediate theory progress for build_dialog; more formal Bash_Result -- accumulate output as lines;
2013-01-12 wenzelm 2013-01-12 populate "main" session group, e.g. relevant for Isabelle/jEdit logic selection;
2013-01-12 wenzelm 2013-01-12 removed unused/non-portable bash_output_fifo;
2013-01-12 wenzelm 2013-01-12 tuned signature;
2013-01-12 blanchet 2013-01-12 honor filtering out of arguments for built-in constants (e.g. representation of numerals)
2013-01-12 blanchet 2013-01-12 new version of MaSh Python component
2013-01-11 wenzelm 2013-01-11 prefer MS-DOS-style temp;
2013-01-11 wenzelm 2013-01-11 more Cygwin packages to help out in a pitch -- NB: make is still needed for legacy usedir;
2013-01-11 wenzelm 2013-01-11 merged
2013-01-11 wenzelm 2013-01-11 more NEWS;
2013-01-11 wenzelm 2013-01-11 proper path names;
2013-01-11 wenzelm 2013-01-11 refer to cygwin mirror with static copy of setup.ini; tuned;
2013-01-11 wenzelm 2013-01-11 discontinued HOL side-entry sessions -- may be configured in $ISABELLE_HOME_USER/ROOT instead;
2013-01-11 wenzelm 2013-01-11 obsolete;
2013-01-11 wenzelm 2013-01-11 more standard contrib/cygwin location (again);
2013-01-11 blanchet 2013-01-11 updated messages
2013-01-11 blanchet 2013-01-11 fixed escaping for MeSh encoder
2013-01-11 blanchet 2013-01-11 don't learn from the proof of "psimps" etc.
2013-01-11 blanchet 2013-01-11 updated MaSh Python component
2013-01-11 blanchet 2013-01-11 start using MaSh hints
2013-01-11 blanchet 2013-01-11 always compare theorem using the same, weaker function
2013-01-11 smolkas 2013-01-11 tuned