2011-09-21 wenzelm 2011-09-21 alternative Socket_Channel; use BinIO for fifos uniformly;
2011-09-21 wenzelm 2011-09-21 more abstract wrapping of fifos as System_Channel;
2011-09-21 wenzelm 2011-09-21 slightly more general Socket_IO as part of Pure;
2011-09-21 wenzelm 2011-09-21 more hints on Z3 configuration;
2011-09-21 wenzelm 2011-09-21 reduced default thread stack, to increase the success rate especially on Windows (NB: the actor worker farm tends to produce 100-200 threads for big sessions);
2011-09-21 nipkow 2011-09-21 renamed inv -> filter
2011-09-21 nipkow 2011-09-21 Added proofs about narowing
2011-09-21 nipkow 2011-09-21 added missing makefile dependence
2011-09-21 nipkow 2011-09-21 added example
2011-09-21 nipkow 2011-09-21 tuned
2011-09-21 nipkow 2011-09-21 refined comment
2011-09-21 kleing 2011-09-21 fixed two typos in IMP (by Jean Pichon)
2011-09-21 nipkow 2011-09-21 merged
2011-09-20 nipkow 2011-09-20 Updated IMP to use new induction method
2011-09-20 nipkow 2011-09-20 New proof method "induction" that gives induction hypotheses the name IH.
2011-09-20 haftmann 2011-09-20 official status for UN_singleton
2011-09-20 haftmann 2011-09-20 tuned specification and lemma distribution among theories; tuned proofs
2011-09-20 wenzelm 2011-09-20 more careful treatment of initial update, similar to output panel;
2011-09-20 wenzelm 2011-09-20 proper fact binding;
2011-09-20 bulwahn 2011-09-20 syntactic improvements and tuning names in the code generator due to Florian's code review
2011-09-20 krauss 2011-09-20 match types when applying mono_thm -- previous export generalizes type variables; added trivial regression test
2011-09-19 wenzelm 2011-09-19 fixed headers;
2011-09-19 wenzelm 2011-09-19 less ambiguous syntax;
2011-09-19 wenzelm 2011-09-19 tuned proofs;
2011-09-19 wenzelm 2011-09-19 merged
2011-09-19 bulwahn 2011-09-19 catch PatternMatchFail exceptions in narrowing-based quickcheck
2011-09-19 bulwahn 2011-09-19 removing superfluous definition in the quickcheck narrowing invocation as the code generator now generates valid Haskell code with necessary type annotations without a separate definition
2011-09-19 bulwahn 2011-09-19 ensuring that some constants are generated in the source code by adding calls in ensure_testable
2011-09-19 bulwahn 2011-09-19 adding abstraction layer; more precise function names
2011-09-19 bulwahn 2011-09-19 adding type annotations more aggressively and redundantly to make code generation more reliable even when special printers for some constants are used
2011-09-19 bulwahn 2011-09-19 determining the fastype of a case-pattern but ignoring dummy type constructors that were added as markers for type annotations
2011-09-19 bulwahn 2011-09-19 only annotating constants with sort constraints
2011-09-19 bulwahn 2011-09-19 also adding type annotations for the dynamic invocation
2011-09-19 noschinl 2011-09-19 removed legacy lemmas in Complete_Lattices
2011-09-19 bulwahn 2011-09-19 increasing quickcheck timeout to reduce spurious test failures due to massive parallel invocations and bad scheduling
2011-09-19 wenzelm 2011-09-19 more isatest stats;
2011-09-19 wenzelm 2011-09-19 refined Symbol.is_symbolic -- cover recoded versions as well;
2011-09-19 wenzelm 2011-09-19 double clicks switch to document node buffer;
2011-09-19 wenzelm 2011-09-19 tuned;
2011-09-19 wenzelm 2011-09-19 explicit border independent of UI (cf. ad5883642a83, 2bec3b7514cf);
2011-09-19 wenzelm 2011-09-19 at least 2 worker threads to ensure some degree of lifeness, notably for asynchronous Document.print_state;
2011-09-19 wenzelm 2011-09-19 instantaneous cleanup (NB: VIEWER should be synchronous, cf. dd25b3055c4e);
2011-09-19 wenzelm 2011-09-19 unique file names via serial numbers, to allow files like "root" or multiple files with same base name;
2011-09-19 wenzelm 2011-09-19 imitate Apple in setting initial shell PATH -- especially relevant for MacTeX, MacPorts etc.;
2011-09-18 huffman 2011-09-18 merged
2011-09-15 huffman 2011-09-15 numeral_simprocs.ML: use HOL_basic_ss instead of HOL_ss for internal normalization proofs of cancel_factor simprocs, to avoid splitting if-then-else
2011-09-18 wenzelm 2011-09-18 removed obsolete patches for PG 4.1;
2011-09-18 wenzelm 2011-09-18 additional space for borderless UI;
2011-09-18 wenzelm 2011-09-18 more robust treatment of empty insets (NB: border may be null on some UIs, e.g. Windows);
2011-09-18 wenzelm 2011-09-18 explicit master_dir as part of header -- still required (for Cygwin) since Scala layer does not pass file content yet;
2011-09-18 wenzelm 2011-09-18 isatest settings for macbroy6 (Mac OS X Lion);
2011-09-18 wenzelm 2011-09-18 more Mac OS reference hardware;
2011-09-18 wenzelm 2011-09-18 updated to SML/NJ 110.73;
2011-09-18 wenzelm 2011-09-18 tentative announcement based on current NEWS;
2011-09-18 wenzelm 2011-09-18 tuned;
2011-09-18 wenzelm 2011-09-18 separated NEWS for Isabelle2011 from Isabelle2011-1 (cf. e1139e612b55);
2011-09-18 wenzelm 2011-09-18 updated for release;
2011-09-18 wenzelm 2011-09-18 tuned;
2011-09-18 wenzelm 2011-09-18 updated generated file;
2011-09-18 wenzelm 2011-09-18 updated Complete_Lattices;