Re: [photran-dev] Photran Documentation

[Ivan Lappo-Danilevski <Ivan.Lappo-Danilevski@xxxxxxxxxxxxxxxxxxxxx>]

> I've added a Photran section to the main PTP wiki page and a link to a 
> (currently empty) tutorials page. Please add a link to a new page 
> containing your tutorial(s) to this page. You'll need to register for 
> a bugzilla user id in order to add content to the wiki. Let me know if 
> you need any help.
>
> Thanks!
>
> Greg
> _______________________________________________
> photran-dev mailing list
> photran-dev@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/photran-dev

Hi Greg,
I transferred the first tutorial to wiki and linked it 
(http://wiki.eclipse.org/PTP/photran/tutorials#Photran_Tutorials). The 
behavior of the <code> tags is different from standard wiki! I could 
change it but I don't seem to find the "EDIT ALL" button, so I could 
load it through "its all text" again. Old mediawiki version?

Ivan