Sun, 22 Nov 2009 15:37:14 +0100 | ballarin | Updated locale documentation. | changeset | files |
Sun, 22 Nov 2009 22:04:51 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
Sun, 22 Nov 2009 14:59:27 +0100 | wenzelm | remove presently unused Isabelle application; | changeset | files |