Sat, 24 Nov 2012 14:50:19 +0100 | wenzelm | improved editing support for control styles; | changeset | files |
Sat, 24 Nov 2012 12:39:58 +0100 | wenzelm | added ISABELLE_PLATFORM_FAMILY; | changeset | files |
Fri, 23 Nov 2012 23:07:58 +0100 | nipkow | merged | changeset | files |