2 Commits

Author	SHA1	Message	Date
Christian Grothoff	0e808b648a	fix misc typos	2020-07-22 23:56:52 +02:00
Jeff Burdges	937d7f48b9	Start making the protocol more explicit	2016-09-12 15:53:20 +02:00