Wed, 30 May 2007 21:09:18 +0200 |
haftmann |
simplified data setup
|
file |
diff |
annotate
|
Thu, 10 May 2007 00:39:48 +0200 |
wenzelm |
moved some Drule operations to Thm (see more_thm.ML);
|
file |
diff |
annotate
|
Fri, 20 Apr 2007 11:21:35 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Sun, 15 Apr 2007 14:32:05 +0200 |
wenzelm |
Thm.plain_prop_of;
|
file |
diff |
annotate
|
Tue, 03 Apr 2007 19:24:16 +0200 |
wenzelm |
renamed of_sort_derivation record fields (avoid clash with Alice keywords);
|
file |
diff |
annotate
|
Fri, 30 Mar 2007 16:19:03 +0200 |
haftmann |
simplified constant representation in code generator
|
file |
diff |
annotate
|
Fri, 23 Mar 2007 09:40:50 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
Sat, 03 Mar 2007 09:27:02 +0100 |
haftmann |
clarified code
|
file |
diff |
annotate
|
Wed, 31 Jan 2007 16:05:17 +0100 |
haftmann |
clarified error message
|
file |
diff |
annotate
|
Tue, 30 Jan 2007 08:21:22 +0100 |
haftmann |
added interface for plugging in preprocessors
|
file |
diff |
annotate
|
Fri, 26 Jan 2007 13:59:06 +0100 |
haftmann |
refined algorithm
|
file |
diff |
annotate
|
Thu, 25 Jan 2007 09:32:51 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
Tue, 09 Jan 2007 08:32:50 +0100 |
haftmann |
slight cleanups
|
file |
diff |
annotate
|
Fri, 05 Jan 2007 14:31:50 +0100 |
haftmann |
some cleanup
|
file |
diff |
annotate
|
Thu, 04 Jan 2007 14:01:39 +0100 |
haftmann |
eta-expansion now only to common maximum number of arguments
|
file |
diff |
annotate
|
Wed, 27 Dec 2006 19:10:06 +0100 |
haftmann |
different handling of type variable names
|
file |
diff |
annotate
|
Wed, 22 Nov 2006 10:22:04 +0100 |
haftmann |
completed class parameter handling in axclass.ML
|
file |
diff |
annotate
|
Wed, 15 Nov 2006 17:05:46 +0100 |
haftmann |
clarified code for building function equation system; explicit check of type discipline
|
file |
diff |
annotate
|
Mon, 06 Nov 2006 16:28:37 +0100 |
haftmann |
(adjustions)
|
file |
diff |
annotate
|
Fri, 03 Nov 2006 14:22:45 +0100 |
haftmann |
fixed problem with variable names
|
file |
diff |
annotate
|
Tue, 31 Oct 2006 14:59:26 +0100 |
haftmann |
clarified make_term interface
|
file |
diff |
annotate
|
Tue, 31 Oct 2006 09:29:13 +0100 |
haftmann |
refined algorithm
|
file |
diff |
annotate
|
Tue, 10 Oct 2006 09:17:24 +0200 |
haftmann |
added keeping of funcgr
|
file |
diff |
annotate
|
Sat, 07 Oct 2006 07:41:56 +0200 |
haftmann |
cleaned up interfaces
|
file |
diff |
annotate
|
Wed, 04 Oct 2006 14:17:46 +0200 |
haftmann |
clarified header comments
|
file |
diff |
annotate
|
Mon, 02 Oct 2006 23:00:51 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Mon, 25 Sep 2006 17:04:22 +0200 |
haftmann |
fixed some mess
|
file |
diff |
annotate
|
Tue, 19 Sep 2006 15:22:26 +0200 |
haftmann |
added codegen_data
|
file |
diff |
annotate
|