X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Ftemplates%2Fmenu.html;fp=helm%2Fmowgli%2Fhome%2Ftemplates%2Fmenu.html;h=455c2142ae37746ebb8ed944be4feb7c3311a1fd;hb=33d36569adeda8bbe9dab0d98f78c4c35846bd95;hp=ff76559a882ca920c2d0496689a0178028dae664;hpb=412fc896a3d47c990063c115c090e13c3d5c783f;p=helm.git diff --git a/helm/mowgli/home/templates/menu.html b/helm/mowgli/home/templates/menu.html index ff76559a8..455c2142a 100644 --- a/helm/mowgli/home/templates/menu.html +++ b/helm/mowgli/home/templates/menu.html @@ -28,8 +28,7 @@ News Archive Members Area Publications - - Software (CVS) + Software (CVS) @@ -43,7 +42,7 @@ MathML OpenMath OMDoc - Bibliography + Bibliography