Tue, 12 Jul 2005 11:54:55 +0200 Added "attach" keyword for code generator setup.
berghofe [Tue, 12 Jul 2005 11:54:55 +0200] rev 16771
Added "attach" keyword for code generator setup.
Tue, 12 Jul 2005 11:51:31 +0200 Auxiliary functions to be used in generated code are now defined using "attach".
berghofe [Tue, 12 Jul 2005 11:51:31 +0200] rev 16770
Auxiliary functions to be used in generated code are now defined using "attach".
Tue, 12 Jul 2005 11:41:24 +0200 Implemented mechanism for attaching auxiliary code to consts_code and
berghofe [Tue, 12 Jul 2005 11:41:24 +0200] rev 16769
Implemented mechanism for attaching auxiliary code to consts_code and types_code declarations.
Mon, 11 Jul 2005 19:59:11 +0200 small text mod
nipkow [Mon, 11 Jul 2005 19:59:11 +0200] rev 16768
small text mod
Mon, 11 Jul 2005 16:42:42 +0200 Fixed some problems with the signal handler.
quigley [Mon, 11 Jul 2005 16:42:42 +0200] rev 16767
Fixed some problems with the signal handler.
Mon, 11 Jul 2005 14:52:55 +0200 Improved implementation of Defs.is_overloaded.
obua [Mon, 11 Jul 2005 14:52:55 +0200] rev 16766
Improved implementation of Defs.is_overloaded.
Fri, 08 Jul 2005 11:57:15 +0200 Some changes to allow mutually recursive, overloaded functions with same name.
berghofe [Fri, 08 Jul 2005 11:57:15 +0200] rev 16765
Some changes to allow mutually recursive, overloaded functions with same name.
Fri, 08 Jul 2005 11:39:59 +0200 added Davenport reference
nipkow [Fri, 08 Jul 2005 11:39:59 +0200] rev 16764
added Davenport reference
Fri, 08 Jul 2005 11:39:44 +0200 moved Davenport citation to Main, removed author list
nipkow [Fri, 08 Jul 2005 11:39:44 +0200] rev 16763
moved Davenport citation to Main, removed author list
Fri, 08 Jul 2005 11:39:08 +0200 moved gcd to new GCD.thy
nipkow [Fri, 08 Jul 2005 11:39:08 +0200] rev 16762
moved gcd to new GCD.thy
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip