Mon, 11 Jul 2011 15:56:30 +0200 | wenzelm | tuned signature; | changeset | files |
Mon, 11 Jul 2011 11:13:33 +0200 | wenzelm | some support for raw messages, which bypass standard Symbol/YXML decoding; | changeset | files |
Mon, 11 Jul 2011 10:27:50 +0200 | wenzelm | tuned XML.Cache parameters; | changeset | files |
Sun, 10 Jul 2011 23:46:05 +0200 | wenzelm | some support to invoke Scala methods under program control; | changeset | files |
Sun, 10 Jul 2011 21:46:41 +0200 | wenzelm | merged; | changeset | files |
Sun, 10 Jul 2011 21:39:03 +0200 | haftmann | merged | changeset | files |
Sun, 10 Jul 2011 15:45:35 +0200 | haftmann | tuned proofs and notation | changeset | files |