Sun, 07 Feb 2010 18:04:48 +0100 | wenzelm | simplified interface for ML antiquotations, struct_name is always "Isabelle"; | changeset | files |
Sat, 06 Feb 2010 23:26:17 +0100 | wenzelm | tuned isatest ML_OPTIONS; | changeset | files |
Sat, 06 Feb 2010 22:54:53 +0100 | wenzelm | removed ever experimental support for Moscow ML -- hardly works anymore; | changeset | files |