| Wed, 22 May 2013 14:10:45 +0200 | wenzelm | explicit management of Session.Protocol_Handlers, with protocol state and functions; | changeset | files |
| Wed, 22 May 2013 12:39:09 +0200 | smolkas | prevent pretty printer from automatically annotating numerals | changeset | files |
| Wed, 22 May 2013 12:39:07 +0200 | smolkas | tuned | changeset | files |
| Wed, 22 May 2013 08:46:39 +0200 | nipkow | simplified example and proof | changeset | files |
| Wed, 22 May 2013 00:30:36 +0200 | nipkow | tuned | changeset | files |
| Tue, 21 May 2013 21:05:10 +0200 | wenzelm | tuned messages; | changeset | files |
| Tue, 21 May 2013 18:03:36 +0200 | wenzelm | proper options; | changeset | files |
| Tue, 21 May 2013 17:55:28 +0200 | wenzelm | proper options; | changeset | files |