| Tue, 09 Feb 1999 10:47:21 +0100 | paulson | tidied; better error messages | file | diff | annotate |
| Wed, 03 Feb 1999 16:46:31 +0100 | wenzelm | added thm, thms, Open_locale, Close_locale, Print_scope; | file | diff | annotate |
| Fri, 11 Dec 1998 10:36:39 +0100 | paulson | the + facility for locales, by Florian | file | diff | annotate |
| Sat, 31 Oct 1998 12:42:34 +0100 | paulson | locales now implicitly quantify over free variables | file | diff | annotate |
| Fri, 23 Oct 1998 18:48:59 +0200 | paulson | better checking of "defines" in a locale | file | diff | annotate |
| Thu, 22 Oct 1998 20:07:42 +0200 | wenzelm | support current_goals_markers ref variable for print_current_goals; | file | diff | annotate |
| Tue, 04 Aug 1998 18:21:03 +0200 | wenzelm | added locale.ML; | file | diff | annotate |