MediaWiki:Sidebar: Difference between revisions

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