[m-dev.] cvs diff: Web page fixes.

[Zoltan Somogyi]

>  is the queens benchmark after it has been put through
>  the source-to-source transformation of Seki and Furukawa
>  from the Proceedings of the Fourth IEEE Symposium on Logic Programming.
> +(Note: cqueens uses the source code for queens, with constraint propagation
> +defined).

Say

(Note: cqueens uses the source code for queens,
but defines a macro that selects different versions of some predicates).

Zoltan.