| Thu, 23 Oct 2014 14:04:05 +0200 | haftmann | downshift of theory Parity in the hierarchy | changeset | files |
| Thu, 23 Oct 2014 14:04:05 +0200 | haftmann | parity induction over natural numbers | changeset | files |
| Wed, 22 Oct 2014 23:15:40 +0200 | wenzelm | merged | changeset | files |
| Wed, 22 Oct 2014 17:34:01 +0200 | wenzelm | proper line height and text base line, like regular TextAreaPainter.PaintText; | changeset | files |
| Wed, 22 Oct 2014 17:30:58 +0200 | wenzelm | tuned imports; | changeset | files |
| Wed, 22 Oct 2014 17:34:19 +0200 | Andreas Lochbihler | merged | changeset | files |
| Wed, 22 Oct 2014 13:58:30 +0200 | Andreas Lochbihler | add print translation for probability notation \<P> | changeset | files |