From 8576a051a0f726a37691372cfdcf091797e3ec6b Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 8 Aug 2012 16:44:38 -0400 Subject: [PATCH] Smaller font so slightly more width --- chat-os2-paper.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/chat-os2-paper.rkt b/chat-os2-paper.rkt index 9e29e32..b525d0b 100644 --- a/chat-os2-paper.rkt +++ b/chat-os2-paper.rkt @@ -11,7 +11,7 @@ ;;--------------------------------------------------------------------------- -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (define listener (nested-vm (at-meta-level @@ -30,7 +30,7 @@ (net-roles me cin cout in-topic out-topic))) -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (define (chat-roles me cout) (define (announce t did-what) @@ -50,7 +50,7 @@ [msg (at-meta-level (cout (term->bytes msg)))]))) -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (define (net-roles me cin cout in-topic out-topic) @@ -70,4 +70,4 @@ (ground-vm (spawn tcp-driver) (spawn listener)) -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;