| Sun, 04 Sep 2011 15:21:50 +0200 | wenzelm | moved XML/YXML to src/Pure/PIDE; | changeset | files |
| Sun, 04 Sep 2011 14:29:15 +0200 | wenzelm | pass raw messages through xml_cache actor, which is important to retain ordering of results (e.g. read_command reports before assign, cf. 383c9d758a56); | changeset | files |
| Sun, 04 Sep 2011 08:43:06 +0200 | haftmann | pseudo-definition for perms on sets; tuned | changeset | files |