From Event-B
Usage
Allow to put a small navigation panel at the bottom or at the top of a page.
Useful for navigating between document sections
{{Navigation
|Previous= previous link
|Next=next link
|Up=up link}}
Exemple
All links:
| <prev: previous link | >next: next link | ^up: up link |
No Previous link:
| >next: next link | ^up: up link |
No next link:
| <prev: previous link | ^up: up link |
No up link:
| <prev: previous link | >next: next link |
Code
