Difference between revisions of "MediaWiki:Sidebar"

From Termination-Portal.org
Jump to navigationJump to search
 
(16 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 
* navigation
 
* navigation
** mainpage|mainpage
+
** Home|Home
** portal-url|portal
+
** Category:News|News
** currentevents-url|currentevents
+
** Category:People|People
** recentchanges-url|recentchanges
+
** Category:Tools|Tools
** randompage-url|randompage
+
** Category:Bibtex|References
** helppage|help
+
** Category:Categories|Categories
** sitesupport-url|sitesupport
+
* resources
* links
+
** WST|Workshop on Termination
** http://www.lri.fr/~marche/termination-competition/|Termination Competition
+
<!-- ** WScT|Workshop on Certified Termination -->
 +
** TPDB|Termination Problems Data Base
 +
** Termination Competition|Termination Competition
 +
** Termtools|Termination Tools Mailing List

Latest revision as of 09:49, 5 March 2014

  • navigation
    • Home|Home
    • Category:News|News
    • Category:People|People
    • Category:Tools|Tools
    • Category:Bibtex|References
    • Category:Categories|Categories
  • resources
    • WST|Workshop on Termination
    • TPDB|Termination Problems Data Base
    • Termination Competition|Termination Competition
    • Termtools|Termination Tools Mailing List