Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged;
  2. more Haskell operations;
  3. more uniform multi-language operations; misc tuning and clarification;
  4. more Haskell operations;
  5. more uniform multi-language operations; misc tuning and clarification;
  6. more uniform multi-language operations; clarified modules and signature;
  7. more operations (as in ML);
  8. more uniform multi-language operations; clarified modules and signature;
  9. more uniform multi-language operations;
  10. Tagged some of HOL-Analysis
Changeset 69456:7258ebf38662 by wenzelm:
merged;
Changeset 69455:6a901078a294 by wenzelm:
more Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 69454:ef051edd4d10 by wenzelm:
more uniform multi-language operations;<br>misc tuning and clarification;
The file was modified src/Pure/General/bytes.scala (diff)
The file was modified src/Pure/PIDE/byte_message.ML (diff)
The file was modified src/Pure/PIDE/byte_message.scala (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 69453:dcea1fffbfe6 by wenzelm:
more Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was modified src/Tools/Haskell/Test.thy (diff)
Changeset 69452:704915cf59fa by wenzelm:
more uniform multi-language operations;<br>misc tuning and clarification;
The file was modified src/Pure/General/symbol.ML (diff)
The file was modified src/Pure/General/value.scala (diff)
The file was modified src/Pure/PIDE/byte_message.ML (diff)
The file was modified src/Pure/PIDE/byte_message.scala (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 69451:387894c2fb2c by wenzelm:
more uniform multi-language operations;<br>clarified modules and signature;
The file was modified src/Pure/PIDE/byte_message.ML (diff)
The file was modified src/Pure/PIDE/byte_message.scala (diff)
The file was modified src/Pure/System/message_channel.ML (diff)
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 69450:b28b001e7ee8 by wenzelm:
more operations (as in ML);
The file was modified src/Pure/General/value.scala (diff)
Changeset 69449:b516fdf8005c by wenzelm:
more uniform multi-language operations;<br>clarified modules and signature;
The file was modified src/Pure/PIDE/byte_message.ML (diff)
The file was modified src/Pure/PIDE/byte_message.scala (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/System/message_channel.ML (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was removedsrc/Pure/System/system_channel.ML
Changeset 69448:51e696887b81 by wenzelm:
more uniform multi-language operations;
The file was addedsrc/Pure/PIDE/byte_message.ML
The file was addedsrc/Pure/PIDE/byte_message.scala
The file was modified src/Pure/General/bytes.scala (diff)
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/system_channel.ML (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was modified src/Tools/VSCode/src/channel.scala (diff)
Changeset 69447:b7b9cbe0bd43 by eberlm _eberlm@in.tum.de_:
Tagged some of HOL-Analysis
The file was modified src/HOL/Analysis/Complete_Measure.thy (diff)
The file was modified src/HOL/Analysis/Lebesgue_Measure.thy (diff)