Difference between revisions of "MediaWiki:Sidebar"

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

@@ Line 1: / Line 1: @@
 * navigation
+** Home|Home
+** Category:News|News
 ** Category:People|People
-** Tools|Tools
+** Category:Tools|Tools
-* links
+** Category:Bibtex|References
-** http://www.lri.fr/~marche/termination-competition/|Termination Competition
+** Category:Categories|Categories
-* old navigation
+* resources
-** mainpage|mainpage
+** WST|Workshop on Termination
-** portal-url|portal
+<!-- ** WScT|Workshop on Certified Termination -->
-** currentevents-url|currentevents
+** TPDB|Termination Problems Data Base
-** recentchanges-url|recentchanges
+** Termination Competition|Termination Competition
-** randompage-url|randompage
+** Termtools|Termination Tools Mailing List
-** helppage|help
-** sitesupport-url|sitesupport