| Wed, 16 Sep 2015 20:54:41 +0200 | wenzelm | more app properties glimpsed from infinitekind/Moneydance 2015.5; | changeset | files |
| Wed, 16 Sep 2015 20:38:06 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 16 Sep 2015 16:34:33 +0200 | wenzelm | updated to polyml-5.5.3-20150916 (polyml git version cb1b36caa242); | changeset | files |
| Tue, 15 Sep 2015 22:25:06 +0200 | Andreas Lochbihler | avoid module dependency cycles | changeset | files |
| Tue, 15 Sep 2015 17:09:13 +0200 | nipkow | goali -> i | changeset | files |
| Tue, 15 Sep 2015 11:18:25 +0200 | lammich | Omega_Words_Fun: Infinite words as functions from nat. | changeset | files |
| Mon, 14 Sep 2015 21:39:24 +0200 | wenzelm | provide FontMapper for embedded fonts; | changeset | files |
| Mon, 14 Sep 2015 19:46:50 +0200 | wenzelm | avoid hardwired colors; | changeset | files |