Mon, 13 Mar 2000 12:25:52 +0100 |
wenzelm |
adapted to new PureThy.add_thms etc.;
|
file |
diff |
annotate
|
Mon, 17 May 1999 21:36:34 +0200 |
wenzelm |
cleaned comments;
|
file |
diff |
annotate
|
Wed, 12 May 1999 17:26:56 +0200 |
wenzelm |
strip_quotes replaced by unenclose;
|
file |
diff |
annotate
|
Wed, 17 Mar 1999 13:42:42 +0100 |
wenzelm |
adapted AxClass.add_axclass;
|
file |
diff |
annotate
|
Thu, 11 Mar 1999 21:52:49 +0100 |
wenzelm |
tuned space;
|
file |
diff |
annotate
|
Tue, 09 Mar 1999 12:18:02 +0100 |
wenzelm |
IsarThy.begin/end_theory;
|
file |
diff |
annotate
|
Wed, 03 Feb 1999 17:28:02 +0100 |
wenzelm |
get_lexicon;
|
file |
diff |
annotate
|
Tue, 12 Jan 1999 13:39:41 +0100 |
wenzelm |
eliminated Attribute structure;
|
file |
diff |
annotate
|
Mon, 28 Dec 1998 16:50:37 +0100 |
paulson |
more efficient strip_quotes using "substring"
|
file |
diff |
annotate
|
Fri, 11 Dec 1998 10:36:39 +0100 |
paulson |
the + facility for locales, by Florian
|
file |
diff |
annotate
|
Fri, 04 Dec 1998 10:42:53 +0100 |
paulson |
locales: assumes and defines may be empty
|
file |
diff |
annotate
|
Tue, 17 Nov 1998 14:07:04 +0100 |
wenzelm |
Theory.apply replaced by Library.apply;
|
file |
diff |
annotate
|
Tue, 20 Oct 1998 16:26:47 +0200 |
wenzelm |
Syntax.max_pri;
|
file |
diff |
annotate
|
Tue, 04 Aug 1998 18:23:57 +0200 |
wenzelm |
added 'locale' section;
|
file |
diff |
annotate
|
Sat, 20 Jun 1998 20:18:22 +0200 |
wenzelm |
export mk_triple1/2;
|
file |
diff |
annotate
|
Mon, 25 May 1998 21:27:22 +0200 |
wenzelm |
tuned local, global;
|
file |
diff |
annotate
|
Wed, 20 May 1998 18:56:59 +0200 |
wenzelm |
tuned keywords;
|
file |
diff |
annotate
|
Wed, 29 Apr 1998 11:26:59 +0200 |
wenzelm |
replaced thy_setup by 'setup' section;
|
file |
diff |
annotate
|
Sat, 04 Apr 1998 11:41:24 +0200 |
wenzelm |
replaced thy_data by thy_setup;
|
file |
diff |
annotate
|
Mon, 09 Mar 1998 16:14:46 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 29 Dec 1997 14:29:34 +0100 |
wenzelm |
removed distinct_fst_string;
|
file |
diff |
annotate
|
Thu, 04 Dec 1997 13:49:27 +0100 |
wenzelm |
moved global_names ref to Pure/ROOT.ML;
|
file |
diff |
annotate
|
Mon, 03 Nov 1997 21:04:51 +0100 |
wenzelm |
added MLtext section;
|
file |
diff |
annotate
|
Mon, 03 Nov 1997 17:55:55 +0100 |
wenzelm |
tuned: distinct_fst_string;
|
file |
diff |
annotate
|
Mon, 03 Nov 1997 14:09:16 +0100 |
wenzelm |
export const_decls parser;
|
file |
diff |
annotate
|
Fri, 31 Oct 1997 15:28:01 +0100 |
wenzelm |
dup sections: warning instead of error;
|
file |
diff |
annotate
|
Thu, 30 Oct 1997 17:00:34 +0100 |
wenzelm |
added thy_data;
|
file |
diff |
annotate
|
Tue, 28 Oct 1997 17:32:38 +0100 |
wenzelm |
PureThy.add_store_defs, PureThy.add_store_axioms;
|
file |
diff |
annotate
|
Mon, 27 Oct 1997 15:43:53 +0100 |
wenzelm |
flipped global_names default;
|
file |
diff |
annotate
|
Thu, 23 Oct 1997 12:44:46 +0200 |
wenzelm |
improved typ parser, exported;
|
file |
diff |
annotate
|