Update separationlogic.md

teaching/separationlogic.md

@@ -37,14 +37,14 @@ This work constitutes a breakthrough, in that it is now possible prove propertie
 
 #### General Information for 2018 autumn term
 
-Time:  Tuesdays 2pm-4pm, 2nd through 9th week, Room 140.
+*Time:*  Tuesdays 2pm-4pm, 2nd through 9th week, Room 140.
 
-Coursework Published Tue 30th Oct, 9 AM / deadline Fri 9th Nov, 4 PM.
+*Coursework:* Published Tue 30th Oct, 9 AM / deadline Fri 9th Nov, 4 PM.
 
-Exam: The exam will take place on Tuesday, December 11th, at 11:40, room TBC. It will last for 70 minutes. 
+*Exam:* The exam will take place on Tuesday, December 11th, at 11:40, room TBC. It will last for 70 minutes. 
 You will be given three questions, out of which you need to answer two of your choice.
 
-Recommended Reading: Mike Gordon has some [excellent notes on Hoare logic](http://www.cl.cam.ac.uk/archive/mjcg/HL/), 
+*Recommended Reading:* Mike Gordon has some [excellent notes on Hoare logic](http://www.cl.cam.ac.uk/archive/mjcg/HL/), 
 which briefly touches on separation logic in the last chapter. 
 Two good books on Hoare logic are: Logic in Computer Science: Modelling and 
 Reasoning about Systems, Michael Huth and Mark Ryan, CUP, 2004; and The Formal