MediaWiki:Sidebar: Difference between revisions

No edit summary
No edit summary
 
(25 intermediate revisions by 2 users not shown)
Line 1: Line 1:
* navigation
*Navigation
** mainpage|mainpage-description
** Main Page|Main Page
** download|Downloads
** User Manual|User Manual
** Documentation|Documentation
** Tutorial|Tutorials
** Developer|Documentation (Developer)
** Developer Manual|Developer Manual
** Benchmarks|Benchmarks
** ProBLicence|Licence
** ProB_Logic_Calculator|Logic Calculator
* Special Pages
** recentchanges-url|recentchanges
** recentchanges-url|recentchanges
** helppage|help

Latest revision as of 09:34, 10 November 2015

  • Navigation
    • Main Page|Main Page
    • User Manual|User Manual
    • Tutorial|Tutorials
    • Developer Manual|Developer Manual
    • Benchmarks|Benchmarks
    • ProBLicence|Licence
    • ProB_Logic_Calculator|Logic Calculator
  • Special Pages
    • recentchanges-url|recentchanges