Re: [eigen] wiki problems

[ Thread Index | Date Index | More Archives ]

On Wed, Oct 12, 2011 at 21:17, Gael Guennebaud <gael.guennebaud@xxxxxxxxx> wrote:
On Wed, Oct 12, 2011 at 2:37 PM, Benoit Jacob <jacob.benoit.1@xxxxxxxxx> wrote:
> Hi,
> 1) the headline had disappeared from the main page, the <xh1> tag
> didn't result in anything getting printed; as a temporary measure I
> replaced it by <h1> which results in it being printed at the top of
> the page.

This is because of some internal changes in mediawiki. Pb solved.

Speaking of the website, I just noticed that some of the operator < or operator > stuff is being stripped or mistaken for HTML markup in the docs.
See: and the next few method descriptions.

Mail converted by MHonArc 2.6.19+