  This article starts by providing an introductory overview of the theoretical
mechanics of rotating neutron stars as developped to account for the frequency
variations, and particularly the discontinuous glitches, observed in pulsars.
The theory suggests, and the observations seem to confirm, that an essential
role is played by the interaction between the solid crust and inner layers
whose superfluid nature allows them to rotate independently. However many
significant details remain to be clarified, even in much studied cases such as
the Crab and Vela. The second part of this article is more technical,
concentrating on just one of the many physical aspects that needs further
development, namely the provision of a satisfactorily relativistic (local but
not microscopic) treatment of the effects of the neutron superfluidity that is
involved.
