| 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 |