Commit Graph

10 Commits

Author SHA1 Message Date
Tony Garnock-Jones 4ff995615a Rename fake-tcp's tcp-accept to topic->tcp-connection 2012-08-15 15:54:37 -04:00
Tony Garnock-Jones 0c07fb3b0e Introduce "?" as identifier-syntax for "(wild)" 2012-08-13 17:06:22 -04:00
Tony Garnock-Jones 412ac6496b Rename kill to quit 2012-08-13 16:49:24 -04:00
Tony Garnock-Jones 3a2ea7b026 Make nested-vm and ground-vm able to take actions instead of transition, for stateless boot processes 2012-07-23 17:42:18 -04:00
Tony Garnock-Jones 7d7cfc9738 Make role names optional, and remove role/anon. Remove inessential
role names from apps. Make nested-vm a macro. Shrink
chat-os2-paper.rkt to 40 columns.
2012-07-23 15:21:30 -04:00
Tony Garnock-Jones 5062895429 Cosmetic renaming 2012-07-23 12:12:00 -04:00
Tony Garnock-Jones c3a95afecf Improve chat-os2.rkt 2012-07-17 11:58:39 -04:00
Tony Garnock-Jones 8f897119a9 Cope with a wider range of end-of-file-style situations. 2012-07-16 17:16:34 -04:00
Tony Garnock-Jones 5fca0d7aac Tweak to presence notification 2012-07-16 17:07:42 -04:00
Tony Garnock-Jones 59469d68f8 Abbreviated TCP OS2 interface, and two programs to compare. 2012-07-16 17:01:56 -04:00