Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature;
  2. tuned;
  3. clarified UUID operations; proper check of server password;
  4. clarified protocol;
  5. clarified signature;
  6. more Haskell operations; clarified signature;
  7. tuned signature;
  8. clarified signature, e.g. for re-use by other servers;
  9. more Haskell operations;
  10. clarified modules and signature;
  11. tagged more of HOL-Analysis
Changeset 69467:e8893c893241 by wenzelm:
tuned 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/Tools/Haskell/Haskell.thy (diff)
Changeset 69466:796e01aba901 by wenzelm:
tuned;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 69465:16fa609a62b1 by wenzelm:
clarified UUID operations;<br>proper check of server password;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 69464:2323dce4a0db by wenzelm:
clarified protocol;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 69463:6439c9024dcc by wenzelm:
clarified signature;
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Pure/System/system_channel.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 69462:fe125722f7a9 by wenzelm:
more Haskell operations;<br>clarified signature;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 69461:be142f577da6 by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 69460:5ffe7e17f770 by wenzelm:
clarified signature, e.g. for re-use by other servers;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 69459:bbb61a9cb99a 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 69458:5655af3ea5bd by wenzelm:
clarified modules and signature;
The file was addedsrc/Pure/General/uuid.scala
The file was modified src/Pure/General/json.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/ROOT.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/VSCode/src/grammar.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 69457:bea49e443909 by manuel eberl _eberlm@in.tum.de_:
tagged more of HOL-Analysis
The file was modified src/HOL/Analysis/Nonnegative_Lebesgue_Integration.thy (diff)