2012-12-04 nipkow 2012-12-04 tuned defs of sec_xyz
2012-12-04 wenzelm 2012-12-04 provide general insert_line_padding as convenience operation, e.g. for BeanShell macros;
2012-12-04 blanchet 2012-12-04 simplify MaSh term patterns + add missing global facts if there aren't too many
2012-12-04 blanchet 2012-12-04 MaSh improvements: deeper patterns + more respect for chained facts
2012-12-03 blanchet 2012-12-03 tuned names
2012-12-03 blanchet 2012-12-03 tweaked MaSh exporter
2012-12-03 blanchet 2012-12-03 renamed "Type.thy" to something that's less likely to cause conflicts
2012-12-03 blanchet 2012-12-03 proper quoting of paths in MaSh shell script, take 2 (cf. b00eeb8e352e)
2012-12-03 blanchet 2012-12-03 added "fact_filter" option to Mirabelle
2012-12-03 blanchet 2012-12-03 tweak SPASS default a tiny bit, so that a more interesting heuristic is chosen when "slicing=false" (for experiments)
2012-12-03 wenzelm 2012-12-03 some notes on the Isabelle component repository at TUM;
2012-12-03 hoelzl 2012-12-03 use filterlim in Lim and SEQ; tuned proofs
2012-12-03 hoelzl 2012-12-03 conversion rules for at, at_left and at_right; applied to l'Hopital's rules.
2012-12-03 hoelzl 2012-12-03 weakened assumptions for lhopital_right_0
2012-12-03 hoelzl 2012-12-03 tuned proof
2012-12-03 hoelzl 2012-12-03 add L'Hôpital's rule
2012-12-03 hoelzl 2012-12-03 add filterlim rules for exp and ln to infinity
2012-12-03 hoelzl 2012-12-03 add filterlim rules for inverse and at_infinity
2012-12-03 hoelzl 2012-12-03 add filterlim rules for diverging multiplication and addition; move at_infinity to the HOL image
2012-12-03 hoelzl 2012-12-03 add filterlim rules for unary minus and inverse
2012-12-03 hoelzl 2012-12-03 rename filter_lim to filterlim to be consistent with filtermap
2012-12-03 hoelzl 2012-12-03 add check to Cooper's algorithm that left-hand of dvd is a numeral
2012-12-03 wenzelm 2012-12-03 merged
2012-12-03 blanchet 2012-12-03 robust writing of MaSh state -- better drop learning data than cause other problems in Sledgehammer
2012-12-03 wenzelm 2012-12-03 avoid odd warnings due to failure of systray icon;
2012-12-03 wenzelm 2012-12-03 synchronized read access to cache file -- avoid potential conflict with ongoing write (which is non-atomic); clarified signature -- cache init is unsynchronized and hopefully used at most once per file;
2012-12-03 wenzelm 2012-12-03 tuned;
2012-12-03 wenzelm 2012-12-03 recovered error to finish proof (e.g. bad obtain export) from 223f18cfbb32; tuned message;
2012-12-02 wenzelm 2012-12-02 semi-automated Cygwin setup;
2012-12-02 wenzelm 2012-12-02 misc tuning;
2012-12-02 wenzelm 2012-12-02 updated to sumatra_pdf-2.1.1;
2012-12-01 blanchet 2012-12-01 tuned order of functions
2012-12-01 blanchet 2012-12-01 proper quoting of paths in MaSh
2012-12-01 wenzelm 2012-12-01 updated to jedit_build-20121201 (based on jedit-5.0.0);
2012-12-01 wenzelm 2012-12-01 moved isabelle shortcuts to main jEdit.props, in order to have them migrated to the "imported" keymap;
2012-12-01 wenzelm 2012-12-01 leave ALTERNATIVE_DISPATCHER mostly enabled on Mac OS X, to get events for COMMAND/Meta combinations, which seem to produce only KEY_PRESSED in Java 7, not KEY_TYPED as in Java 6;
2012-12-01 wenzelm 2012-12-01 updated to jedit-5.0.0;
2012-12-01 wenzelm 2012-12-01 more generic directory name to facilitate tracking changes of diffs;
2012-11-30 wenzelm 2012-11-30 merged
2012-11-30 nipkow 2012-11-30 tuned
2012-11-30 wenzelm 2012-11-30 added 'print_inductives' command;
2012-11-30 wenzelm 2012-11-30 print formal entities with markup;
2012-11-30 wenzelm 2012-11-30 tuned labels;
2012-11-30 wenzelm 2012-11-30 renamed dockable "Prover Session" to "Theories"; more uniform Library.lowercase/uppercase;
2012-11-30 wenzelm 2012-11-30 tuned import;
2012-11-30 wenzelm 2012-11-30 alternative shortcut for English keyboard;
2012-11-30 wenzelm 2012-11-30 merged
2012-11-30 wenzelm 2012-11-30 eliminated redundant is_ident -- more official is_identifier;
2012-11-30 wenzelm 2012-11-30 updated to jdk-7u9;
2012-11-30 wenzelm 2012-11-30 updated to exec_process-1.0.3;
2012-11-30 wenzelm 2012-11-30 report proper pid *after* fork;
2012-11-30 wenzelm 2012-11-30 prefer Symbol.decode_strict in batch mode, to avoid files with spurious Unicode symbols that clash with Isabelle symbol interpretation;
2012-11-29 wenzelm 2012-11-29 more defensive retry via fork;
2012-11-29 wenzelm 2012-11-29 merged
2012-11-29 kuncar 2012-11-29 parametrized correspondence relation: more robust procedure - don't ignore sorts; tuned
2012-11-29 wenzelm 2012-11-29 simplified use of fold/map; tuned;
2012-11-29 wenzelm 2012-11-29 tuned;
2012-11-29 wenzelm 2012-11-29 prefer 32 bit platform for ISABELLE_FULL_TEST, to make memory problems more explicit instead of disk thrashing (notably in HOL-Quickcheck_Benchmark);
2012-11-29 wenzelm 2012-11-29 merged
2012-11-29 hoelzl 2012-11-29 make SML/NJ happy (give names for all fields in a record)