7 months ago haftmann [Wed, 07 Nov 2018 11:08:12 +0000] rev 69252
dedicated examples for sorting
src/HOL/Codegenerator_Test/Candidates.thy src/HOL/ROOT src/HOL/ex/Sorting_Algorithms_Examples.thy

7 months ago haftmann [Wed, 07 Nov 2018 11:08:11 +0000] rev 69251
more direct implementations of comparators
src/HOL/Library/Comparator.thy

7 months ago haftmann [Wed, 07 Nov 2018 11:08:10 +0000] rev 69250
generic merge sort
src/HOL/Library/Sorting_Algorithms.thy

7 months ago wenzelm [Tue, 06 Nov 2018 15:06:30 +0100] rev 69249
merged

7 months ago wenzelm [Tue, 06 Nov 2018 14:53:56 +0100] rev 69248
more Haskell operations;
src/Tools/Haskell/Haskell.thy src/Tools/Haskell/Markup.hs src/Tools/Haskell/Pretty.hs src/Tools/Haskell/YXML.hs src/Tools/Haskell/haskell.ML

7 months ago wenzelm [Tue, 06 Nov 2018 14:30:53 +0100] rev 69247
tuned;
src/Pure/General/pretty.ML

7 months ago haftmann [Sun, 04 Nov 2018 15:00:30 +0000] rev 69246
concrecte sorting algorithms beyond insertion sort
src/HOL/Library/Comparator.thy src/HOL/Library/Sorting_Algorithms.thy

7 months ago wenzelm [Mon, 05 Nov 2018 23:15:58 +0100] rev 69245
proper self_update for isolated host;
src/Pure/Admin/isabelle_cronjob.scala

7 months ago wenzelm [Mon, 05 Nov 2018 22:15:07 +0100] rev 69244
renovated macOS tests;
Admin/PLATFORMS src/Pure/Admin/isabelle_cronjob.scala

7 months ago wenzelm [Mon, 05 Nov 2018 21:59:22 +0100] rev 69243
support remote_build_history with optional ghc_setup / ocaml_setup;
src/Pure/Admin/build_history.scala src/Pure/Admin/isabelle_cronjob.scala