| Thu, 27 Sep 2012 00:41:08 +0200 | blanchet | merge | changeset | files |
| Thu, 27 Sep 2012 00:40:51 +0200 | blanchet | modernized examples; | changeset | files |
| Wed, 26 Sep 2012 23:30:19 +0200 | wenzelm | some support for jEdit warmstart; | changeset | files |
| Wed, 26 Sep 2012 19:50:10 +0200 | wenzelm | discontinued XML.cache experiment -- Poly/ML 5.5.0 RTS does online sharing better; | changeset | files |