| Mon, 25 Nov 2013 18:03:38 +0100 | wenzelm | more robust and portable invocation of kill as bash builtin, instead of external executable -- NB: /bin/kill on Mac OS X Mountain Lion chokes on Linux workaround from 3610ae73cfdb; | changeset | files |
| Sun, 24 Nov 2013 18:06:09 +0100 | wenzelm | Added tag Isabelle2013-2-RC1 for changeset 57aefb80b639 | changeset | files |
| Sat, 23 Nov 2013 12:59:12 +0100 | wenzelm | more on GTK; | changeset | files |
| Fri, 22 Nov 2013 21:57:50 +0100 | wenzelm | reintroduced e2d08b9c9047, lost in 54e290da6da8 + e13b0c88c798 (clone of f6ffe53387ef); | changeset | files |