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
-** 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