Sat, 14 Jan 2012 15:30:54 +0100 | wenzelm | tuned comments; | file | diff | annotate |
Sat, 14 Jan 2012 14:34:42 +0100 | wenzelm | clarified partial restrict operation; | file | diff | annotate |
Mon, 09 Jan 2012 23:11:28 +0100 | wenzelm | command status color via regular markup; | file | diff | annotate |
Thu, 05 Jan 2012 14:15:37 +0100 | wenzelm | prefer raw_message for protocol implementation; | file | diff | annotate |
Thu, 01 Dec 2011 14:29:14 +0100 | wenzelm | clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover; | file | diff | annotate | base |