| Wed, 13 Feb 2013 13:38:52 +0100 | haftmann | tuned spelling | changeset | files |
| Wed, 13 Feb 2013 12:06:21 +0100 | wenzelm | removed obsolete RC tags; | changeset | files |
| Wed, 13 Feb 2013 11:46:48 +0100 | wenzelm | merged; | changeset | files |
| Tue, 12 Feb 2013 17:39:45 +0100 | wenzelm | detect more hosts; | changeset | files |
| Tue, 12 Feb 2013 14:27:14 +0100 | wenzelm | Added tag Isabelle2013 for changeset d90218288d51 | changeset | files |
| Mon, 11 Feb 2013 14:39:04 +0100 | wenzelm | make WWW_Find work again, now that its ML modules reside within a theory context (cf. bf5b45870110) -- patch by Rafal Kolanski; | changeset | files |
| Sun, 10 Feb 2013 22:07:56 +0100 | wenzelm | merged | changeset | files |