Server updates on 2013dec18 were successful

The departmental servers are working fine after the updates.

The updated firefox that is now on coxeter is able to view PDF files within a tab.  If you prefer you can still use a different viewer (for example, okular) for PDF files by choosing this at:

Edit -> Preferences -> Applications -> Portable Document Format (PDF)