From 36df8c0c56eea8ef87233b57bace673c5f5ac7c2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 30 Jun 2014 09:19:42 +0100 Subject: [PATCH] scribble/manual: change `history` sort order Now that some entries have changes over multiple versions, a forward sort order seems better than reverse to me. original commit: a67ecb96ab18a54dff75f06a737c492ba92943a4 --- .../scribble-lib/scribble/private/manual-history.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/private/manual-history.rkt b/pkgs/scribble-pkgs/scribble-lib/scribble/private/manual-history.rkt index 05bda39b..c08283ea 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/private/manual-history.rkt +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/private/manual-history.rkt @@ -43,7 +43,7 @@ (car from)))) (para #:style (style "SHistory" (list scheme-properties)) - (for/list ([e (in-list (sort es (lambda (a b) (version