From 94f6d37631793805ac5166fe2fa5f365f4e97abb Mon Sep 17 00:00:00 2001 From: herbelin Date: Thu, 9 Dec 2010 18:48:01 +0000 Subject: In passing, very quick uniformization of coqdoc headers in a few files. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13696 85f007b7-540e-0410-9357-904b9bb8a0f7 --- theories/Sorting/Permutation.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'theories/Sorting') diff --git a/theories/Sorting/Permutation.v b/theories/Sorting/Permutation.v index 6cded6d95..50b759b5a 100644 --- a/theories/Sorting/Permutation.v +++ b/theories/Sorting/Permutation.v @@ -7,7 +7,7 @@ (************************************************************************) (*********************************************************************) -(** ** List permutations as a composition of adjacent transpositions *) +(** * List permutations as a composition of adjacent transpositions *) (*********************************************************************) (* Adapted in May 2006 by Jean-Marc Notin from initial contents by -- cgit v1.2.3