Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. support for Lazy.Text;
  2. prefer compact Isabelle.Bytes;
  3. clarified signature;
  4. clarified signature --- more operations;
  5. tuned;
  6. clarified order of modules;
  7. more operations;
  8. tuned;
Changeset 74096:cb64ccdc3ac1 by wenzelm:
support for Lazy.Text;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74095:cc23b4e66dce by wenzelm:
prefer compact Isabelle.Bytes;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74094:6113f1db4342 by wenzelm:
clarified signature;
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Pure/General/uuid.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Tools/VSCode/src/textmate_grammar.scala (diff)
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
Changeset 74093:dc962d4248ca by wenzelm:
clarified signature --- more operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74092:1d26f1a49480 by wenzelm:
tuned;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74091:5721f1843e93 by wenzelm:
clarified order of modules;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74090:c26f4ec59835 by wenzelm:
more operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was modified src/Tools/Haskell/Test.thy (diff)
Changeset 74089:be6b813926d1 by wenzelm:
tuned;
The file was modified src/Tools/Haskell/Haskell.thy (diff)