From f96af5373ee10f846cc6a3c5e59ea4e5473fe583 Mon Sep 17 00:00:00 2001 From: Thibaut Horel Date: Sun, 23 Nov 2014 03:33:10 -0500 Subject: Some corrections in the ICM section I was confused by the active/infected distinction. I think it is clearer now. --- notes/formalisation.pdf | Bin 194430 -> 194405 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'notes/formalisation.pdf') diff --git a/notes/formalisation.pdf b/notes/formalisation.pdf index 75d5480..2bdcb11 100644 Binary files a/notes/formalisation.pdf and b/notes/formalisation.pdf differ -- cgit v1.2.3-70-g09d2