| Mon, 06 Aug 2012 14:19:56 +0200 | wenzelm | discontinued presumably obsolete attempts at doc-src testing (cf. 3b02b0ef8d48, 89cc3dfb383b); | changeset | files |
| Mon, 06 Aug 2012 11:59:09 +0200 | wenzelm | more precise imitation of old ROOT.ML files; | changeset | files |
| Sun, 05 Aug 2012 23:37:26 +0200 | krauss | fixed mira.py (cf. fe611991427a) | changeset | files |
| Sun, 05 Aug 2012 23:32:04 +0200 | krauss | corrected session name | changeset | files |