| Mon, 26 Nov 2007 18:25:06 +0100 | nipkow | Removed forced roman font in mode=IfThen. | changeset | files |
| Mon, 26 Nov 2007 18:01:48 +0100 | wenzelm | use official polyml-5.1; | changeset | files |
| Mon, 26 Nov 2007 12:19:27 +0100 | wenzelm | tuned comments; | changeset | files |
| Mon, 26 Nov 2007 12:19:26 +0100 | wenzelm | moved new NEWS from Isabelle2007 to this Isabelle version''; | changeset | files |