| Thu, 20 Sep 2012 17:17:20 +0200 | Andreas Lochbihler | more efficient code setup | changeset | files |
| Thu, 20 Sep 2012 13:32:48 +0200 | blanchet | added "simp"s to coiter/corec theorems + export under "simps" name | changeset | files |
| Thu, 20 Sep 2012 13:32:48 +0200 | blanchet | tuning | changeset | files |
| Thu, 20 Sep 2012 11:42:40 +0200 | nipkow | tuned | changeset | files |
| Fri, 21 Sep 2012 11:42:14 +0200 | wenzelm | less rendering (cf. 28bd0709443a) -- avoid conflict with static token markup of different keyword kinds; | changeset | files |
| Thu, 20 Sep 2012 22:25:30 +0200 | wenzelm | tuned painter; | changeset | files |
| Thu, 20 Sep 2012 21:57:37 +0200 | wenzelm | clarified message background; | changeset | files |