| Sun, 04 Sep 2011 15:49:59 +0200 | wenzelm | property "tooltip-dismiss-delay" is edited in ms, not seconds; | changeset | files |
| 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 |
| Sat, 03 Sep 2011 16:00:09 -0700 | huffman | remove duplicate lemma nat_zero in favor of nat_0 | changeset | files |
| Sat, 03 Sep 2011 15:37:41 -0700 | huffman | merged | changeset | files |