10 months ago wenzelm [Mon, 04 Dec 2017 21:23:56 +0100] rev 67129
added GUI_Thread.future (similar to JFX_GUI.Thread.future): useful for experimentation with Scala console in Isabelle/jEdit;
src/Pure/GUI/gui_thread.scala

10 months ago wenzelm [Mon, 04 Dec 2017 18:30:28 +0100] rev 67128
clarified control style;
src/Tools/jEdit/src/syntax_style.scala

10 months ago wenzelm [Mon, 04 Dec 2017 17:37:26 +0100] rev 67127
font style for literal control symbols, notably for antiquotations;
src/Pure/General/symbol.scala src/Tools/jEdit/src/syntax_style.scala

10 months ago wenzelm [Mon, 04 Dec 2017 16:28:06 +0100] rev 67126
tuned;
src/Tools/jEdit/src/token_markup.scala

10 months ago wenzelm [Mon, 04 Dec 2017 16:28:00 +0100] rev 67125
tuned comments;
src/Tools/jEdit/src/syntax_style.scala

10 months ago nipkow [Mon, 04 Dec 2017 20:24:17 +0100] rev 67124
more lemmas
src/HOL/List.thy

10 months ago wenzelm [Sun, 03 Dec 2017 22:28:19 +0100] rev 67123
misc tuning and modernization;
src/HOL/Decision_Procs/Algebra_Aux.thy src/HOL/Decision_Procs/Commutative_Ring.thy src/HOL/Decision_Procs/Commutative_Ring_Complete.thy src/HOL/Decision_Procs/Cooper.thy src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy src/HOL/Decision_Procs/Rat_Pair.thy src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy src/HOL/Decision_Procs/Reflective_Field.thy src/HOL/Decision_Procs/ex/Commutative_Ring_Ex.thy

10 months ago wenzelm [Sun, 03 Dec 2017 19:09:42 +0100] rev 67122
simplified session (again, see 39e29972cb96): WordExamples requires < 1s;
src/HOL/ROOT src/HOL/Word/Examples/WordExamples.thy src/HOL/Word/Word.thy src/HOL/Word/WordExamples.thy

10 months ago wenzelm [Sun, 03 Dec 2017 19:00:55 +0100] rev 67121
tuned;
src/HOL/Word/WordBitwise.thy

10 months ago wenzelm [Sun, 03 Dec 2017 18:53:49 +0100] rev 67120
misc tuning and modernization;
src/HOL/Word/Bit_Comparison.thy src/HOL/Word/Bits_Bit.thy src/HOL/Word/Bits_Int.thy src/HOL/Word/Bool_List_Representation.thy src/HOL/Word/Misc_Typedef.thy src/HOL/Word/WordBitwise.thy src/HOL/Word/Word_Miscellaneous.thy