| Wed, 04 Oct 2006 14:17:38 +0200 |
haftmann |
insert replacing ins ins_int ins_string
|
file |
diff |
annotate
|
| Thu, 21 Sep 2006 19:04:20 +0200 |
wenzelm |
member (op =);
|
file |
diff |
annotate
|
| Sat, 29 Apr 2006 23:16:43 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 27 Apr 2006 15:06:35 +0200 |
wenzelm |
tuned basic list operators (flat, maps, map_filter);
|
file |
diff |
annotate
|
| Tue, 14 Feb 2006 13:03:00 +0100 |
paulson |
fixed tracing
|
file |
diff |
annotate
|
| Thu, 19 Jan 2006 21:22:08 +0100 |
wenzelm |
setup: theory -> theory;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2005 21:49:41 +0100 |
wenzelm |
explicitly reject consts *Goal*, *False*;
|
file |
diff |
annotate
|
| Fri, 30 Dec 2005 16:56:59 +0100 |
wenzelm |
avoid implicit assumptions about consts Not, op =, *Goal*, *False*;
|
file |
diff |
annotate
|
| Wed, 16 Nov 2005 17:45:23 +0100 |
wenzelm |
Trueprop: use ObjectLogic.judgment etc.;
|
file |
diff |
annotate
|
| Mon, 14 Nov 2005 18:25:34 +0100 |
paulson |
removal of is_hol
|
file |
diff |
annotate
|
| Thu, 10 Nov 2005 20:57:16 +0100 |
wenzelm |
uncurried Consts.typargs;
|
file |
diff |
annotate
|
| Wed, 02 Nov 2005 14:46:53 +0100 |
wenzelm |
fromConst: use Sign.const_typargs for efficient representation of type instances of constant declarations;
|
file |
diff |
annotate
|
| Thu, 27 Oct 2005 13:54:40 +0200 |
wenzelm |
replaced Defs.monomorphic by Sign.monomorphic;
|
file |
diff |
annotate
|
| Sat, 08 Oct 2005 20:15:34 +0200 |
wenzelm |
minor tweaks for Poplog/PML;
|
file |
diff |
annotate
|
| Tue, 06 Sep 2005 08:30:43 +0200 |
haftmann |
introduced some new-style AList operations
|
file |
diff |
annotate
|
| Mon, 05 Sep 2005 08:14:35 +0200 |
haftmann |
introduced binding priority 1 for linear combinators etc.
|
file |
diff |
annotate
|
| Mon, 01 Aug 2005 19:20:30 +0200 |
wenzelm |
Defs.monomorphic;
|
file |
diff |
annotate
|
| Fri, 15 Jul 2005 15:35:28 +0200 |
obua |
optimize no_types_needed, remove exception handler
|
file |
diff |
annotate
|
| Tue, 12 Jul 2005 12:49:46 +0200 |
paulson |
experimental code to reduce the amount of type information in blast
|
file |
diff |
annotate
|
| Wed, 20 Apr 2005 22:43:52 +0200 |
gagern |
Added op in front of constructor for better parsing.
|
file |
diff |
annotate
|
| Thu, 07 Apr 2005 09:25:33 +0200 |
wenzelm |
reverted renaming of Some/None in comments and strings;
|
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
|
| Sun, 29 Aug 2004 17:36:39 +0200 |
webertj |
depth limit (previously hard-coded with a value of 20) made a reference
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 16:39:39 +0200 |
wenzelm |
immediate_output;
|
file |
diff |
annotate
|
| Wed, 09 Jun 2004 18:57:18 +0200 |
wenzelm |
prs: Output.output;
|
file |
diff |
annotate
|
| Mon, 15 Mar 2004 10:45:31 +0100 |
paulson |
more up-to-date error msg
|
file |
diff |
annotate
|
| Fri, 30 Aug 2002 16:42:45 +0200 |
paulson |
removal of blast.overloaded
|
file |
diff |
annotate
|
| Wed, 20 Feb 2002 00:53:53 +0100 |
wenzelm |
Symbol.bump_string;
|
file |
diff |
annotate
|