Sun, 08 Mar 2009 17:05:43 +0100 | wenzelm | more explicit warning message; | changeset | files |
Sun, 08 Mar 2009 17:03:07 +0100 | wenzelm | added qualified_name -- emulates old-style qualified bstring; | changeset | files |
Sun, 08 Mar 2009 16:53:38 +0100 | wenzelm | added General/long_name.ML; | changeset | files |