2015-08-27 blanchet [Thu, 27 Aug 2015 22:36:09 +0200] rev 61033
generate proper error instead of exception if goal cannot be atomized
src/HOL/Tools/SMT/smt_normalize.ML src/HOL/Tools/SMT/smt_solver.ML

2015-08-27 haftmann [Thu, 27 Aug 2015 21:19:48 +0200] rev 61032
standardized some occurences of ancient "split" alias
src/HOL/BNF_Composition.thy src/HOL/BNF_Def.thy src/HOL/BNF_Greatest_Fixpoint.thy src/HOL/Basic_BNFs.thy src/HOL/Fun_Def.thy src/HOL/Groups_Big.thy src/HOL/HOLCF/IOA/ABP/Abschannel.thy src/HOL/HOLCF/IOA/ABP/Abschannel_finite.thy src/HOL/HOLCF/IOA/ABP/Correctness.thy src/HOL/HOLCF/IOA/ABP/Env.thy src/HOL/HOLCF/IOA/ABP/Receiver.thy src/HOL/HOLCF/IOA/ABP/Sender.thy src/HOL/HOLCF/IOA/NTP/Abschannel.thy src/HOL/HOLCF/IOA/NTP/Receiver.thy src/HOL/HOLCF/IOA/NTP/Sender.thy src/HOL/HOLCF/IOA/NTP/Spec.thy src/HOL/HOLCF/IOA/Storage/Spec.thy src/HOL/HOLCF/IOA/meta_theory/Abstraction.thy src/HOL/HOLCF/IOA/meta_theory/RefCorrectness.thy src/HOL/HOLCF/IOA/meta_theory/Sequence.thy src/HOL/HOLCF/IOA/meta_theory/ShortExecutions.thy src/HOL/HOLCF/IOA/meta_theory/TLS.thy src/HOL/HOLCF/IOA/meta_theory/Traces.thy src/HOL/Hilbert_Choice.thy src/HOL/List.thy src/HOL/Map.thy src/HOL/Probability/Caratheodory.thy src/HOL/Product_Type.thy src/HOL/String.thy src/HOL/Transitive_Closure.thy

2015-08-27 haftmann [Thu, 27 Aug 2015 13:07:45 +0200] rev 61031
more lemmas on sorting and multisets (due to Thomas Sewell)
src/HOL/Library/Multiset.thy src/HOL/List.thy

2015-08-27 blanchet [Thu, 27 Aug 2015 20:16:07 +0200] rev 61030
robust handling of Vampire 4 proofs
NEWS src/HOL/Tools/ATP/atp_proof.ML

2015-08-27 blanchet [Thu, 27 Aug 2015 20:10:40 +0200] rev 61029
reverted 6ac3172985d4 -- the old URL has been restored
NEWS src/HOL/Tools/ATP/scripts/remote_atp

2015-08-27 blanchet [Thu, 27 Aug 2015 19:55:43 +0200] rev 61028
fixed typo in comment
src/HOL/IMP/Hoare_Examples.thy

2015-08-26 wenzelm [Wed, 26 Aug 2015 14:59:26 +0200] rev 61027
use fancy options of Java 8;
etc/settings

2015-08-26 wenzelm [Wed, 26 Aug 2015 14:13:31 +0200] rev 61026
tuned signature;
src/Pure/PIDE/xml.scala

2015-08-26 wenzelm [Wed, 26 Aug 2015 13:43:24 +0200] rev 61025
clarified kill on Windows: just one executable;
src/Pure/Concurrent/bash.scala src/Pure/System/isabelle_system.scala

2015-08-25 wenzelm [Tue, 25 Aug 2015 16:49:14 +0200] rev 61024
avoid deprecated PluginOptions with its unbounded window size;
src/Tools/jEdit/src/isabelle.scala src/Tools/jEdit/src/plugin.scala