Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more Haskell operations;
  3. tuned;
  4. concrecte sorting algorithms beyond insertion sort
Changeset 69249:27423819534c by wenzelm:
merged
Changeset 69248:9f21381600e3 by wenzelm:
more Haskell operations;
The file was addedsrc/Tools/Haskell/Pretty.hs
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was modified src/Tools/Haskell/Markup.hs (diff)
The file was modified src/Tools/Haskell/YXML.hs (diff)
The file was modified src/Tools/Haskell/haskell.ML (diff)
Changeset 69247:fc24fe912258 by wenzelm:
tuned;
The file was modified src/Pure/General/pretty.ML (diff)
Changeset 69246:c1fe9dcc274a by haftmann:
concrecte sorting algorithms beyond insertion sort
The file was modified src/HOL/Library/Comparator.thy (diff)
The file was modified src/HOL/Library/Sorting_Algorithms.thy (diff)