2016-08-31 wenzelm 2016-08-31 tuned GUI;
2016-08-31 wenzelm 2016-08-31 tuned rendering;
2016-08-31 wenzelm 2016-08-31 more table content, similar to org.gjt.sp.jedit.pluginmgr.ManagePanel;
2016-08-31 wenzelm 2016-08-31 clarified shortcut conflicts; tuned;
2016-08-31 wenzelm 2016-08-31 clarified (see 019856db2bb6, ea52509f4c42);
2016-08-30 wenzelm 2016-08-30 some support for merge of Isabelle/jEdit shortcuts wrt. jEdit keymap;
2016-08-30 wenzelm 2016-08-30 added glyph from "Deja Vu Sans Mono" font;
2016-09-01 blanchet 2016-09-01 more robustness
2016-09-01 blanchet 2016-09-01 added theory to provide workaround to support nested datatypes in quickcheck (until quickcheck is generalized to support it with new datatypes)
2016-09-01 blanchet 2016-09-01 make workaround possible for Quickcheck with nesting
2016-08-30 blanchet 2016-08-30 tuned docs
2016-08-30 blanchet 2016-08-30 tuned final stop in message
2016-08-30 traytel 2016-08-30 generate proper goal when equation is entered programmatically
2016-08-29 wenzelm 2016-08-29 clarified default;
2016-08-26 Manuel Eberl 2016-08-26 Bohr-Mollerup theorem for the Gamma function
2016-08-25 ballarin 2016-08-25 Back to original example theorem.
2016-08-25 ballarin 2016-08-25 Improved error reporting when activating a locale instance.
2016-08-25 Manuel Eberl 2016-08-25 Deprivatisation of lemmas in Polynomial_Factorial
2016-08-25 Manuel Eberl 2016-08-25 More analysis lemmas
2016-08-24 nipkow 2016-08-24 added lemma
2016-08-23 traytel 2016-08-23 tuned signature
2016-08-19 nipkow 2016-08-19 replaced the confusing int parameter by bool
2016-08-18 hoelzl 2016-08-18 remove spurious find_theorems
2016-08-18 hoelzl 2016-08-18 HOL-Probability: Projective_Limit was missing (cf. 44ce6b524ff3); tuned
2016-08-18 traytel 2016-08-18 removed debug output
2016-08-18 traytel 2016-08-18 derive pred_mono property for BNFs
2016-08-17 eberlm 2016-08-17 Tuned L'Hospital
2016-08-17 boehmes 2016-08-17 merged
2016-08-17 boehmes 2016-08-17 more complete simpset for linear arithmetic to avoid warnings: terms such as (2x + 2y)/2 can then be simplified by the linear arithmetic prover during its proof replay
2016-08-17 traytel 2016-08-17 merged
2016-03-04 traytel 2016-03-04 coinduction method accepts a list of coinduction rules (takes the first matching one)
2016-08-16 wenzelm 2016-08-16 more robust;
2016-08-16 wenzelm 2016-08-16 clarified presentation order, according to typical amounts;
2016-08-16 wenzelm 2016-08-16 present ML timing as well;
2016-08-16 eberlm 2016-08-16 Polynomial algebra cleanup (tuned)
2016-08-16 eberlm 2016-08-16 Polynomial algebra cleanup
2016-08-14 wenzelm 2016-08-14 provide index.html; tuned;
2016-08-14 wenzelm 2016-08-14 cpu time is optional (see Timing.message_resources);
2016-08-14 wenzelm 2016-08-14 proper display of "_";
2016-08-14 wenzelm 2016-08-14 clarified options and arguments; tuned;
2016-08-14 blanchet 2016-08-14 updated NEWS
2016-08-14 blanchet 2016-08-14 optimized parent computation in MaSh
2016-08-14 blanchet 2016-08-14 avoid loading MaSh file first time around for higher responsiveness of Sledgehammer
2016-08-14 blanchet 2016-08-14 tuned MaSh's metacharacters to avoid needless decoding
2016-08-14 blanchet 2016-08-14 optimization in MaSh parsing
2016-08-14 blanchet 2016-08-14 tuned ML
2016-08-14 blanchet 2016-08-14 removed trailing final stops in Nitpick messages
2016-08-14 blanchet 2016-08-14 killed final stops in Sledgehammer and friends
2016-08-14 blanchet 2016-08-14 tuned message
2016-08-14 blanchet 2016-08-14 tuning punctuation in messages output by Isabelle
2016-08-14 blanchet 2016-08-14 tuning whitespace in output syntax
2016-08-13 wenzelm 2016-08-13 gnuplot presentation similar to former isatest-statistics;
2016-08-13 wenzelm 2016-08-13 tuned;
2016-08-13 wenzelm 2016-08-13 statistics from session build output;
2016-08-13 wenzelm 2016-08-13 more uniform output;
2016-08-13 nipkow 2016-08-13 added [simp] lemmas
2016-08-12 wenzelm 2016-08-12 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
2016-08-12 wenzelm 2016-08-12 merged
2016-08-12 wenzelm 2016-08-12 active jEdit actions;
2016-08-12 wenzelm 2016-08-12 more symbols;