| Thu, 23 Oct 2014 14:04:05 +0200 | haftmann | slight generalization and unification of simp rules for algebraic procedures | changeset | files |
| 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 |
| Wed, 22 Oct 2014 17:04:45 +0200 | wenzelm | find main command keyword of 'begin'; | changeset | files |
| Wed, 22 Oct 2014 16:44:57 +0200 | wenzelm | restricted scanning; | changeset | files |
| Wed, 22 Oct 2014 11:24:48 +0200 | wenzelm | repaired rail diagram (cf. 8450b944e58a); | changeset | files |
| Tue, 21 Oct 2014 22:18:06 +0200 | wenzelm | foldPainter like Windows L&F; | changeset | files |
| Tue, 21 Oct 2014 21:55:45 +0200 | wenzelm | merged | changeset | files |
| Tue, 21 Oct 2014 21:35:45 +0200 | wenzelm | NEWS; | changeset | files |
| Tue, 21 Oct 2014 21:32:12 +0200 | wenzelm | tuned whitespace; | changeset | files |