bulwahn [Wed, 19 Oct 2011 09:11:19 +0200] rev 45189
removing declaration of code_unfold to address the old code generator
bulwahn [Wed, 19 Oct 2011 09:11:18 +0200] rev 45188
removing dependency of the generic code generator to old code generator functions thyname_of_type and thyname_of_const
bulwahn [Wed, 19 Oct 2011 09:11:18 +0200] rev 45187
removing documentation about the old code generator
bulwahn [Wed, 19 Oct 2011 09:11:16 +0200] rev 45186
removing old code generator setup for executable sets
bulwahn [Wed, 19 Oct 2011 09:11:15 +0200] rev 45185
removing old code generator setup for efficient natural numbers; cleaned typo
bulwahn [Wed, 19 Oct 2011 09:11:14 +0200] rev 45184
removing old code generator setup for real numbers; tuned
bulwahn [Wed, 19 Oct 2011 09:11:14 +0200] rev 45183
removing old code generator setup for rational numbers; tuned
bulwahn [Wed, 19 Oct 2011 08:37:29 +0200] rev 45182
removing old code generator setup for strings
bulwahn [Wed, 19 Oct 2011 08:37:27 +0200] rev 45181
removing old code generator setup for lists
bulwahn [Wed, 19 Oct 2011 08:37:26 +0200] rev 45180
removing old code generator setup for integers