Toby pointed out that his document on the procedures to be followed for the management of the server certificates was on the inf-unit documentation pages, not the wiki, for bootstrapping reasons!
Report from Computing Executive Group
No report. It was noted that the published minutes were a bit out of date. George will upload the most recent ones (since done).
Reports from units.
Graham observed that the ProofGeneral wiki seemed to be a spam magnet, and suggested that the wiki managers might want to keep an eye on it.
... and thanks to Graham for a working DICE account to allow us to use the data projector for this Operational meeting!
Topics for discussion
This was held over for another meeting with a wider range of attendees.
The next Operational meeting will be on Wednesday 22nd July in IF-4.31.
Please contact us with any comments or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh