src/Pure/locale.ML
Sat, 08 Sep 2001 20:05:32 +0200 wenzelm export pretty_goals;
Tue, 31 Oct 2000 20:33:10 +0100 wenzelm tuned goal output;
Mon, 30 Oct 2000 08:34:12 +0100 nipkow Mod because of additional parameters to pretty_goals.
Mon, 22 May 2000 11:57:27 +0200 wenzelm show_consts no longer requires show_types;
Mon, 17 Apr 2000 13:57:55 +0200 wenzelm Pretty.chunks;
Wed, 15 Mar 2000 18:22:39 +0100 wenzelm added pretty_goals(_marker);
Tue, 28 Sep 1999 16:44:22 +0200 paulson tidied, using "warning" function and fixing the Close_locale bug
Sat, 04 Sep 1999 21:01:18 +0200 wenzelm ProtoPure: fake empty scope;
Fri, 30 Apr 1999 18:01:11 +0200 wenzelm theory data: copy;
Tue, 09 Feb 1999 10:47:21 +0100 paulson tidied; better error messages
Wed, 03 Feb 1999 16:46:31 +0100 wenzelm added thm, thms, Open_locale, Close_locale, Print_scope;
Fri, 11 Dec 1998 10:36:39 +0100 paulson the + facility for locales, by Florian
Sat, 31 Oct 1998 12:42:34 +0100 paulson locales now implicitly quantify over free variables
Fri, 23 Oct 1998 18:48:59 +0200 paulson better checking of "defines" in a locale
Thu, 22 Oct 1998 20:07:42 +0200 wenzelm support current_goals_markers ref variable for print_current_goals;
Tue, 04 Aug 1998 18:21:03 +0200 wenzelm added locale.ML;
less more (0) tip