| Wed, 29 Jun 2005 15:13:43 +0200 |
wenzelm |
proper treatment of advanced trfuns: pass thy argument;
|
file |
diff |
annotate
|
| Sat, 23 Apr 2005 19:51:24 +0200 |
wenzelm |
removed token_trans.ML (some content moved to syn_ext.ML);
|
file |
diff |
annotate
|
| Sun, 17 Apr 2005 19:39:11 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2005 18:58:55 +0200 |
wenzelm |
expect translations functions to be stamped already;
|
file |
diff |
annotate
|
| Fri, 04 Mar 2005 15:07:34 +0100 |
skalberg |
Removed practically all references to Library.foldr.
|
file |
diff |
annotate
|
| Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
| Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Wed, 09 Jun 2004 18:54:43 +0200 |
wenzelm |
removed separate logtypes field of syntax; removed test_read, simple_str_of_sort, simple_string_of_typ; provide default_mode;
|
file |
diff |
annotate
|
| Fri, 21 May 2004 21:47:07 +0200 |
berghofe |
Modified functions pt_to_ast and ast_to_term to improve handling
|
file |
diff |
annotate
|
| Thu, 29 Apr 2004 06:04:01 +0200 |
wenzelm |
added is_keyword;
|
file |
diff |
annotate
|
| Thu, 22 Apr 2004 10:59:41 +0200 |
wenzelm |
tuned interfaces to accomodate advanced translation functions;
|
file |
diff |
annotate
|
| Fri, 16 Apr 2004 18:45:56 +0200 |
berghofe |
Replaced quote by Library.quote, since quote now refers to Symbol.quote
|
file |
diff |
annotate
|
| Sun, 31 Aug 2003 21:24:29 +0200 |
skalberg |
Added 'ambiguity_is_error' flag, which, if set, makes the parser fail,
|
file |
diff |
annotate
|
| Wed, 16 Jan 2002 23:19:34 +0100 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2001 23:30:24 +0100 |
wenzelm |
removed unused simple_read_typ;
|
file |
diff |
annotate
|
| Sat, 24 Nov 2001 17:01:00 +0100 |
wenzelm |
Symtab.merge_multi';
|
file |
diff |
annotate
|
| Wed, 07 Nov 2001 18:18:29 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 06 Nov 2001 19:29:36 +0100 |
wenzelm |
extend_XXX: sane argument order ... -> syntax -> syntax;
|
file |
diff |
annotate
|
| Sat, 01 Sep 2001 00:20:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 31 Aug 2001 16:24:00 +0200 |
berghofe |
Made consts list operations a bit faster.
|
file |
diff |
annotate
|
| Sun, 12 Nov 2000 14:36:10 +0100 |
wenzelm |
removed junk;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2000 21:00:10 +0200 |
wenzelm |
AST translation rules no longer require constant head on LHS;
|
file |
diff |
annotate
|
| Sun, 21 May 2000 14:31:41 +0200 |
wenzelm |
added read_sort;
|
file |
diff |
annotate
|
| Mon, 17 Apr 2000 13:57:55 +0200 |
wenzelm |
Pretty.chunks;
|
file |
diff |
annotate
|
| Wed, 27 Oct 1999 11:15:35 +0200 |
oheimb |
symbols in (error) messages now consistently with single backslash
|
file |
diff |
annotate
|
| Fri, 16 Jul 1999 22:25:07 +0200 |
wenzelm |
tuned dest_lexicon;
|
file |
diff |
annotate
|
| Tue, 09 Mar 1999 12:11:29 +0100 |
wenzelm |
token translation: real;
|
file |
diff |
annotate
|
| Fri, 29 Jan 1999 17:12:34 +0100 |
oheimb |
corrected output of symbols for several (probably not all) relevant functions
|
file |
diff |
annotate
|
| Tue, 20 Oct 1998 17:52:52 +0200 |
wenzelm |
made SML/NJ happy;
|
file |
diff |
annotate
|
| Tue, 20 Oct 1998 16:33:13 +0200 |
wenzelm |
no open;
|
file |
diff |
annotate
|
| Sat, 02 May 1998 13:27:42 +0200 |
wenzelm |
added trfun_names;
|
file |
diff |
annotate
|
| Mon, 09 Mar 1998 16:12:39 +0100 |
wenzelm |
adapted to symbols, scan;
|
file |
diff |
annotate
|
| Thu, 12 Feb 1998 12:36:55 +0100 |
wenzelm |
export map_trrule;
|
file |
diff |
annotate
|
| Mon, 29 Dec 1997 14:29:34 +0100 |
wenzelm |
removed distinct_fst_string;
|
file |
diff |
annotate
|
| Sun, 28 Dec 1997 14:56:44 +0100 |
wenzelm |
renamed Symtab.null to Symtab.empty;
|
file |
diff |
annotate
|
| Wed, 05 Nov 1997 11:41:18 +0100 |
wenzelm |
adapted extend_trfunsT;
|
file |
diff |
annotate
|
| Mon, 03 Nov 1997 17:55:55 +0100 |
wenzelm |
tuned: distinct_fst_string;
|
file |
diff |
annotate
|
| Fri, 10 Oct 1997 15:48:10 +0200 |
wenzelm |
constify: qualified is const;
|
file |
diff |
annotate
|
| Mon, 06 Oct 1997 18:39:25 +0200 |
wenzelm |
added simple_str_of_sort;
|
file |
diff |
annotate
|
| Mon, 06 Oct 1997 18:27:55 +0200 |
wenzelm |
added pretty_sort;
|
file |
diff |
annotate
|
| Mon, 29 Sep 1997 14:11:18 +0200 |
wenzelm |
improved warning;
|
file |
diff |
annotate
|
| Fri, 18 Jul 1997 13:35:15 +0200 |
wenzelm |
tuned warning;
|
file |
diff |
annotate
|
| Fri, 04 Apr 1997 19:07:54 +0200 |
wenzelm |
fixed diagnostic output of print modes;
|
file |
diff |
annotate
|
| Fri, 28 Feb 1997 21:54:37 +0100 |
wenzelm |
improved err msg;
|
file |
diff |
annotate
|
| Fri, 28 Feb 1997 16:46:26 +0100 |
wenzelm |
added token translation support;
|
file |
diff |
annotate
|
| Thu, 06 Feb 1997 17:46:22 +0100 |
wenzelm |
adapted read_typ, simple_read_typ;
|
file |
diff |
annotate
|
| Mon, 13 Jan 1997 09:29:55 +0100 |
wenzelm |
replaced unit refs by 'stamp';
|
file |
diff |
annotate
|
| Fri, 13 Dec 1996 17:34:32 +0100 |
wenzelm |
added extend_trfunsT;
|
file |
diff |
annotate
|
| Tue, 10 Dec 1996 13:02:02 +0100 |
wenzelm |
added chartrans;
|
file |
diff |
annotate
|
| Mon, 02 Dec 1996 10:23:28 +0100 |
paulson |
Removal of needless occurrences of "op"
|
file |
diff |
annotate
|
| Mon, 18 Nov 1996 17:30:44 +0100 |
wenzelm |
extend_const_gram now supports multiple disjoint printer tables;
|
file |
diff |
annotate
|
| Tue, 18 Jun 1996 16:27:04 +0200 |
paulson |
Translation infixes <->, etc., no longer available at top-level
|
file |
diff |
annotate
|
| Fri, 15 Mar 1996 12:01:19 +0100 |
berghofe |
Added some functions which allow redirection of Isabelle's output
|
file |
diff |
annotate
|
| Fri, 16 Feb 1996 17:24:51 +0100 |
paulson |
Elimination of fully-functorial style.
|
file |
diff |
annotate
|
| Mon, 26 Jun 1995 14:32:26 +0200 |
wenzelm |
added extend_trrules_i;
|
file |
diff |
annotate
|
| Wed, 14 Jun 1995 12:05:13 +0200 |
clasohm |
removed 'raw' productions from gram datatype; replaced mk_gram by add_prods;
|
file |
diff |
annotate
|
| Fri, 03 Mar 1995 11:48:05 +0100 |
clasohm |
added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)
|
file |
diff |
annotate
|
| Fri, 27 Jan 1995 13:35:29 +0100 |
wenzelm |
improved read_xrules: patterns no longer read twice;
|
file |
diff |
annotate
|
| Fri, 27 Jan 1995 12:30:36 +0100 |
clasohm |
moved ambiguity_level from sign.ML to Syntax/syntax.ML
|
file |
diff |
annotate
|