Hello Alvaro,
>> although not comment changes which break the logic of the algorithm
>> descriptions. I have not found how to tell pgindent to let comments
>> indentation alone.
>
> You can use /*----- for such comments.
Thanks for the hint. Here is an updated patch using this marker.
I noticed that some instances use a closing "*-----" sequence, but it does
not seem useful, so I left it out.
I have also tried to improve a few comments, and moved a declaration into
a loop because I did not like the pg-indented version much.
--
Fabien.