| Fri, 01 Apr 2016 17:00:18 +0200 | wenzelm | less bulky timing information, e.g. HOL 56913 ~> 672; | changeset | files |
| Fri, 01 Apr 2016 16:32:20 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 01 Apr 2016 16:31:54 +0200 | wenzelm | more operations (cf. Scala version); | changeset | files |
| Fri, 01 Apr 2016 16:20:04 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 01 Apr 2016 16:15:31 +0200 | wenzelm | explicit property for unbreakable block; | changeset | files |
| Fri, 01 Apr 2016 15:32:25 +0200 | wenzelm | unused; | changeset | files |
| Fri, 01 Apr 2016 15:27:59 +0200 | wenzelm | tuned markup; | changeset | files |