| 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,