Mon, 21 Jul 2008 15:26:26 +0200 |
haftmann |
added explicit purge_data
|
file |
diff |
annotate
|
Tue, 15 Jul 2008 16:02:07 +0200 |
haftmann |
tuned code theorem bookkeeping
|
file |
diff |
annotate
|
Mon, 14 Jul 2008 19:20:57 +0200 |
haftmann |
dropped junk
|
file |
diff |
annotate
|
Mon, 14 Jul 2008 11:04:46 +0200 |
haftmann |
simpsets as pre/postprocessors; generic preprocessor now named function transformators
|
file |
diff |
annotate
|
Fri, 23 May 2008 16:05:07 +0200 |
haftmann |
explicit type schemes for functions
|
file |
diff |
annotate
|
Sun, 18 May 2008 15:04:37 +0200 |
wenzelm |
moved global pretty/string_of functions from Sign to Syntax;
|
file |
diff |
annotate
|
Sat, 17 May 2008 13:54:30 +0200 |
wenzelm |
structure Display: less pervasive operations;
|
file |
diff |
annotate
|
Fri, 28 Mar 2008 20:02:04 +0100 |
wenzelm |
Context.>> : operate on Context.generic;
|
file |
diff |
annotate
|
Thu, 27 Mar 2008 15:32:15 +0100 |
wenzelm |
eliminated delayed theory setup
|
file |
diff |
annotate
|
Thu, 31 Jan 2008 11:44:46 +0100 |
haftmann |
explicit del_funcs
|
file |
diff |
annotate
|
Fri, 25 Jan 2008 14:54:48 +0100 |
haftmann |
print postprocessor equations
|
file |
diff |
annotate
|
Mon, 10 Dec 2007 11:24:15 +0100 |
haftmann |
moved instance parameter management from class.ML to axclass.ML
|
file |
diff |
annotate
|
Thu, 29 Nov 2007 07:55:46 +0100 |
haftmann |
dropped dead code
|
file |
diff |
annotate
|
Wed, 28 Nov 2007 09:01:42 +0100 |
haftmann |
tuned interfaces of class module
|
file |
diff |
annotate
|
Fri, 23 Nov 2007 21:09:35 +0100 |
haftmann |
rudimentary instantiation target
|
file |
diff |
annotate
|
Tue, 06 Nov 2007 13:12:55 +0100 |
haftmann |
clarified merge
|
file |
diff |
annotate
|
Thu, 11 Oct 2007 16:05:47 +0200 |
wenzelm |
removed obsolete AxClass.params_of_class;
|
file |
diff |
annotate
|
Tue, 09 Oct 2007 17:10:38 +0200 |
wenzelm |
renamed AxClass.get_definition to AxClass.get_info (again);
|
file |
diff |
annotate
|
Thu, 04 Oct 2007 20:29:24 +0200 |
wenzelm |
replaced literal 'a by Name.aT;
|
file |
diff |
annotate
|
Thu, 04 Oct 2007 19:54:44 +0200 |
haftmann |
certificates for code generator case expressions
|
file |
diff |
annotate
|
Thu, 04 Oct 2007 19:41:51 +0200 |
haftmann |
clarified terminology
|
file |
diff |
annotate
|
Wed, 26 Sep 2007 20:50:33 +0200 |
wenzelm |
Sign.minimize/complete_sort;
|
file |
diff |
annotate
|
Thu, 20 Sep 2007 16:37:31 +0200 |
haftmann |
more permissive
|
file |
diff |
annotate
|
Tue, 18 Sep 2007 07:36:15 +0200 |
haftmann |
distinction between regular and default code theorems
|
file |
diff |
annotate
|
Sat, 15 Sep 2007 19:27:40 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Fri, 24 Aug 2007 14:14:20 +0200 |
haftmann |
overloaded definitions accompanied by explicit constants
|
file |
diff |
annotate
|
Wed, 15 Aug 2007 08:57:42 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Fri, 10 Aug 2007 17:04:34 +0200 |
haftmann |
new structure for code generator modules
|
file |
diff |
annotate
|