Re: [pok-devel] "Debugging" POK website

[ Thread Index | Date Index | More lists.tuxfamily.org/pok-devel Archives ]


Le Sat, Feb 18, 2012 at 06:55:05PM +0100, Jérôme Hugues :
> * Link to manuals lead to internal server errors, see http://pok.safety-critical.net/pokdocumentation
> and then click here
> 
> 	• Documentation (current version), PDF format
> 	• Documentation (current version), HTML format

This would be fixed with the next commit also.


> * Please, update list of papers ;)

Be my guest, I will create you an account so that you can also fix some
errors you find by yourself :-) I will send you login credentials in
private.

Best,




Mail converted by MHonArc 2.6.19+ http://listengine.tuxfamily.org/