| Wed, 23 Oct 2024 13:30:11 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 23 Oct 2024 13:03:49 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Tue, 22 Oct 2024 20:05:23 +0200 |
wenzelm |
more liberal ast matching, notably for case-translations in HOLCF that operate on logical consts rather than syntax consts;
|
file |
diff |
annotate
|
| Tue, 22 Oct 2024 19:26:40 +0200 |
wenzelm |
more concise representation of term positions;
|
file |
diff |
annotate
|
| Mon, 21 Oct 2024 11:55:51 +0200 |
wenzelm |
support multiple positions (non-empty list);
|
file |
diff |
annotate
|
| Sun, 20 Oct 2024 15:37:19 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 20 Oct 2024 13:27:17 +0200 |
wenzelm |
more accurate treatment of constraints: restrict permissive mode to output;
|
file |
diff |
annotate
|
| Sun, 20 Oct 2024 13:13:17 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 15 Oct 2024 16:11:37 +0200 |
wenzelm |
minor performance tuning;
|
file |
diff |
annotate
|
| Tue, 15 Oct 2024 14:19:58 +0200 |
wenzelm |
allow type constraints for const_syntax;
|
file |
diff |
annotate
|
| Sat, 12 Oct 2024 15:00:56 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 12 Oct 2024 14:29:39 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 12 Oct 2024 14:22:19 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 12 Oct 2024 14:16:15 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Sun, 15 Sep 2024 14:56:33 +0200 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Thu, 05 Sep 2024 17:39:45 +0200 |
wenzelm |
clarified signature: type ML_Pretty.pretty coincides with PolyML.pretty;
|
file |
diff |
annotate
|
| Sat, 04 Sep 2021 21:25:08 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 03 Jan 2019 14:12:44 +0100 |
wenzelm |
clarified signature: more types;
|
file |
diff |
annotate
|
| Sat, 27 Jan 2018 20:35:34 +0100 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Tue, 13 Dec 2016 11:51:42 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Sat, 02 Apr 2016 21:10:07 +0200 |
wenzelm |
careful export of type-dependent functions, without losing their special status;
|
file |
diff |
annotate
|
| Fri, 18 Mar 2016 16:26:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 06 Apr 2014 16:36:28 +0200 |
wenzelm |
more source positions;
|
file |
diff |
annotate
|
| Mon, 27 May 2013 12:40:50 +0200 |
wenzelm |
uniform Term_Position.markers (cf. dbadb4d03cbc);
|
file |
diff |
annotate
|
| Fri, 10 Jun 2011 11:47:52 +0200 |
wenzelm |
tuned name (cf. blast_stats);
|
file |
diff |
annotate
|
| Thu, 07 Apr 2011 20:32:42 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 06 Apr 2011 23:04:00 +0200 |
wenzelm |
separate structure Term_Position;
|
file |
diff |
annotate
|
| Tue, 05 Apr 2011 14:25:18 +0200 |
wenzelm |
discontinued special treatment of structure Ast: no pervasive content, no inclusion in structure Syntax;
|
file |
diff |
annotate
|
| Tue, 22 Mar 2011 13:32:20 +0100 |
wenzelm |
support for encoded positions (for id_position, longid_position) as pseudo type-constraints -- still inactive;
|
file |
diff |
annotate
|
| Tue, 21 Dec 2010 21:21:21 +0100 |
wenzelm |
configuration option "syntax_ast_trace" and "syntax_ast_stat";
|
file |
diff |
annotate
|
| Wed, 11 Aug 2010 15:00:31 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Wed, 25 Nov 2009 09:13:46 +0100 |
haftmann |
normalized uncurry take/drop
|
file |
diff |
annotate
|
| Tue, 24 Nov 2009 17:28:25 +0100 |
haftmann |
curried take/drop
|
file |
diff |
annotate
|
| Wed, 21 Oct 2009 08:14:38 +0200 |
haftmann |
dropped redundant gen_ prefix
|
file |
diff |
annotate
|
| Tue, 20 Oct 2009 16:13:01 +0200 |
haftmann |
replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
|
file |
diff |
annotate
|
| Wed, 30 Sep 2009 22:20:58 +0200 |
wenzelm |
eliminated redundant bindings;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 11:49:22 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Sat, 21 Mar 2009 20:00:23 +0100 |
wenzelm |
removed obsolete pprint operations;
|
file |
diff |
annotate
|
| Mon, 19 Jan 2009 20:05:41 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2006 16:08:00 +0100 |
wenzelm |
removed conditional combinator;
|
file |
diff |
annotate
|
| Thu, 27 Apr 2006 15:06:42 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 26 Apr 2006 22:38:05 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 15 Sep 2005 17:16:56 +0200 |
wenzelm |
TableFun/Symtab: curried lookup and update;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2005 18:48:50 +0200 |
wenzelm |
curried_lookup/update;
|
file |
diff |
annotate
|
| Wed, 29 Jun 2005 15:13:39 +0200 |
wenzelm |
removed obsolete (un)fold_ast2;
|
file |
diff |
annotate
|
| Tue, 17 May 2005 10:19:44 +0200 |
wenzelm |
tuned;
|
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
|
| Sat, 18 Dec 2004 17:10:49 +0100 |
schirmer |
Syntax: last premise of "_bigimpl" is wrapped with "_asm", to have a hook for
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Fri, 16 Apr 2004 18:47:00 +0200 |
berghofe |
Replaced quote by Pretty.quote.
|
file |
diff |
annotate
|
| Wed, 16 Jan 2002 23:19:34 +0100 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
| Wed, 21 Nov 2001 00:36:51 +0100 |
wenzelm |
use tracing function for trace output;
|
file |
diff |
annotate
|
| Fri, 12 Oct 2001 12:10:07 +0200 |
wenzelm |
removed lookups count;
|
file |
diff |
annotate
|
| Tue, 16 Jan 2001 00:35:18 +0100 |
wenzelm |
export fold_ast etc.;
|
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
|
| Tue, 30 May 2000 16:02:27 +0200 |
wenzelm |
renamed trace/stat_norm_ast to trace/stat_ast;
|
file |
diff |
annotate
|
| Tue, 20 Oct 1998 16:29:47 +0200 |
wenzelm |
simple Env replaced by Symtab;
|
file |
diff |
annotate
|
| Mon, 06 Oct 1997 18:21:00 +0200 |
wenzelm |
eliminated raise_ast;
|
file |
diff |
annotate
|
| Tue, 26 Nov 1996 16:26:06 +0100 |
paulson |
Eta-expansion of a function definition, for value polymorphism
|
file |
diff |
annotate
|