| Wed, 12 Mar 2014 21:29:46 +0100 | wenzelm | proper base comparison; | changeset | files |
| Wed, 12 Mar 2014 21:28:09 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 12 Mar 2014 17:25:28 +0100 | wenzelm | tuned proofs; | changeset | files |
| Wed, 12 Mar 2014 17:02:05 +0100 | wenzelm | more explicit markup and explanation of the improper status of 'back', following the AFP style-guide; | changeset | files |
| Wed, 12 Mar 2014 16:43:17 +0100 | wenzelm | clarified Markup.operator vs. Markup.delimiter; | changeset | files |
| Wed, 12 Mar 2014 16:11:47 +0100 | wenzelm | more explicit markup for Token.Literal; | changeset | files |
| Wed, 12 Mar 2014 14:37:14 +0100 | wenzelm | tuned signature; | changeset | files |