[crypticl-cvs] CVS update: obol/doc/README

[Taale Skogan]

Update of /project/crypticl/cvsroot/obol/doc
In directory common-lisp.net:/tmp/cvs-serv27881

Modified Files:
	README 
Log Message:
Describing how to run Needham-Schroeder.

Date: Sun Oct  2 16:16:11 2005
Author: tskogan

Index: obol/doc/README
diff -u obol/doc/README:1.2 obol/doc/README:1.3
--- obol/doc/README:1.2	Sun Oct  2 10:48:02 2005
+++ obol/doc/README	Sun Oct  2 16:16:10 2005
@@ -31,8 +31,24 @@
 This will start the Obol runtime. Start an Obol prompt by:
 lobo(4): (obol)
 
-You can load and run a test script by using load-script:
+You can load and run a whole Obol program by using load-script:
 obol[1]>(load-script "prog/test.obol")
+
+To test a more realistic example, try the Needham-Schroeder protocol
+implementation found in prog/needham-schroeder-*.obol. Start a Lobo runtime
+on three different machines, get an obol prompt by executing (obol) and
+run the protocol step by step for each protocol actor in the three repls (one
+Obol program for each actor A, B and S). You'll have to replace the default
+local channel addresses by real network addresses in the Obol programs.
+Alternatively you can run the protocol with all three actors in the same
+Lobo runtime. This will be easier if you use the telnet server built into 
+the runtime. Open three telnet connections (default port 9023) and start a new
+Obol script in each. Run the protocl as above.
+
+N.B. If you run on Windows and want to use telnet from within emacs, install
+cygwin and use cygwin's telnet.exe since Window's telnet doesn't agree with 
+emacs's telnet.el. Modify the telnet command used by emacs as described at 
+http://www.khngai.com/emacs/cygwin.php.
 
 
 DOCUMENTATION