12 months ago wenzelm [Sat, 09 Jun 2018 21:52:16 +0200] rev 68410
clarified signature: more uniform theory_message (see also d7920eb7de54);
src/Pure/System/progress.scala src/Pure/Tools/server.scala src/Tools/VSCode/src/channel.scala src/Tools/jEdit/src/session_build.scala

12 months ago wenzelm [Sat, 09 Jun 2018 13:19:57 +0200] rev 68409
tuned -- use existing operation;
src/Pure/System/isabelle_system.scala

12 months ago wenzelm [Thu, 07 Jun 2018 22:46:40 +0200] rev 68408
merged

12 months ago wenzelm [Thu, 07 Jun 2018 16:09:43 +0200] rev 68407
isabelle emacs no longer exists;
src/HOL/SPARK/Manual/Example_Verification.thy

12 months ago nipkow [Thu, 07 Jun 2018 19:36:12 +0200] rev 68406
utilize 'flip'
src/HOL/Library/BigO.thy src/HOL/Library/Cardinality.thy src/HOL/Library/Countable.thy src/HOL/Library/Countable_Set_Type.thy src/HOL/Library/Disjoint_Sets.thy src/HOL/Library/Extended_Nat.thy src/HOL/Library/Extended_Nonnegative_Real.thy src/HOL/Library/Extended_Real.thy src/HOL/Library/Float.thy src/HOL/Library/Going_To_Filter.thy src/HOL/Library/Infinite_Set.thy src/HOL/Library/Landau_Symbols.thy src/HOL/Library/Lattice_Algebras.thy src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy src/HOL/Library/Log_Nat.thy src/HOL/Library/Multiset.thy src/HOL/Library/Multiset_Permutations.thy src/HOL/Library/Periodic_Fun.thy src/HOL/Library/Perm.thy src/HOL/Library/Stirling.thy src/HOL/Library/Stream.thy src/HOL/Library/Sublist.thy src/HOL/Library/Uprod.thy

12 months ago nipkow [Thu, 07 Jun 2018 15:08:18 +0200] rev 68405
comments
src/Pure/raw_simplifier.ML

12 months ago nipkow [Wed, 06 Jun 2018 18:20:03 +0200] rev 68404
merged
NEWS

12 months ago nipkow [Wed, 06 Jun 2018 18:19:55 +0200] rev 68403
reorient -> split; documented split
NEWS src/Doc/Isar_Ref/Generic.thy src/HOL/Analysis/Bochner_Integration.thy src/HOL/Analysis/Cauchy_Integral_Theorem.thy src/HOL/Analysis/Change_Of_Vars.thy src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy src/HOL/Analysis/FPS_Convergence.thy src/HOL/Analysis/Gamma_Function.thy src/HOL/Analysis/Henstock_Kurzweil_Integration.thy src/HOL/Analysis/Interval_Integral.thy src/HOL/Analysis/Lebesgue_Measure.thy src/HOL/Analysis/Measure_Space.thy src/HOL/Analysis/Regularity.thy src/HOL/Analysis/Set_Integral.thy src/HOL/Analysis/Sigma_Algebra.thy src/HOL/Analysis/Weierstrass_Theorems.thy src/Pure/raw_simplifier.ML src/Pure/simplifier.ML

12 months ago wenzelm [Wed, 06 Jun 2018 17:18:48 +0200] rev 68402
merged

12 months ago wenzelm [Wed, 06 Jun 2018 14:50:18 +0200] rev 68401
Added tag Isabelle2018-RC0 for changeset 194fa3d2d6a4
.hgtags