2 hours ago Manuel Eberl <eberlm@in.tum.de> [Thu, 13 Dec 2018 13:11:35 +0100] rev 69457 default tip
tagged more of HOL-Analysis
src/HOL/Analysis/Nonnegative_Lebesgue_Integration.thy

18 hours ago wenzelm [Wed, 12 Dec 2018 20:51:50 +0100] rev 69456
merged;

18 hours ago wenzelm [Wed, 12 Dec 2018 20:33:28 +0100] rev 69455
more Haskell operations;
src/Tools/Haskell/Haskell.thy

21 hours ago wenzelm [Wed, 12 Dec 2018 17:34:29 +0100] rev 69454
more uniform multi-language operations;
misc tuning and clarification;
src/Pure/General/bytes.scala src/Pure/PIDE/byte_message.ML src/Pure/PIDE/byte_message.scala src/Tools/Haskell/Haskell.thy

25 hours ago wenzelm [Wed, 12 Dec 2018 14:19:56 +0100] rev 69453
more Haskell operations;
src/Tools/Haskell/Haskell.thy src/Tools/Haskell/Test.thy

26 hours ago wenzelm [Wed, 12 Dec 2018 12:31:05 +0100] rev 69452
more uniform multi-language operations;
misc tuning and clarification;
src/Pure/General/symbol.ML src/Pure/General/value.scala src/Pure/PIDE/byte_message.ML src/Pure/PIDE/byte_message.scala src/Tools/Haskell/Haskell.thy

39 hours ago wenzelm [Wed, 12 Dec 2018 00:01:11 +0100] rev 69451
more uniform multi-language operations;
clarified modules and signature;
src/Pure/PIDE/byte_message.ML src/Pure/PIDE/byte_message.scala src/Pure/System/message_channel.ML src/Pure/Tools/server.scala

39 hours ago wenzelm [Tue, 11 Dec 2018 23:59:41 +0100] rev 69450
more operations (as in ML);
src/Pure/General/value.scala

41 hours ago wenzelm [Tue, 11 Dec 2018 21:23:02 +0100] rev 69449
more uniform multi-language operations;
clarified modules and signature;
src/Pure/PIDE/byte_message.ML src/Pure/PIDE/byte_message.scala src/Pure/ROOT.ML src/Pure/System/isabelle_process.ML src/Pure/System/message_channel.ML src/Pure/System/system_channel.ML src/Tools/Haskell/Haskell.thy

43 hours ago wenzelm [Tue, 11 Dec 2018 19:25:35 +0100] rev 69448
more uniform multi-language operations;
src/Pure/General/bytes.scala src/Pure/General/symbol.scala src/Pure/PIDE/byte_message.ML src/Pure/PIDE/byte_message.scala src/Pure/ROOT.ML src/Pure/System/system_channel.ML src/Pure/Tools/server.scala src/Pure/build-jars src/Tools/Haskell/Haskell.thy src/Tools/VSCode/src/channel.scala