huffman [Mon, 30 Mar 2009 07:49:26 -0700] rev 30793
merged
huffman [Fri, 27 Mar 2009 15:14:31 -0700] rev 30792
add more lemmas for signed comparisons
krauss [Mon, 30 Mar 2009 16:37:23 +0200] rev 30791
use standard parsers provided by SpecParse
krauss [Mon, 30 Mar 2009 16:37:23 +0200] rev 30790
bstring -> binding
krauss [Mon, 30 Mar 2009 16:37:23 +0200] rev 30789
code attribute for tailrec-equations, too; tuned
krauss [Mon, 30 Mar 2009 16:37:23 +0200] rev 30788
optimistically add code attribute to .simps without further checks
krauss [Mon, 30 Mar 2009 14:42:36 +0200] rev 30787
remove "otherwise" feature from function package which was never really documented or used
wenzelm [Mon, 30 Mar 2009 15:16:58 +0200] rev 30786
prep_full_context_statement: explicit record of flags;
prep_declaration (for add_locale): disallow autofixed frees;
Timothy Bourke [Mon, 30 Mar 2009 12:25:52 +1100] rev 30785
Limit the number of results returned by auto_solves.
wenzelm [Sun, 29 Mar 2009 19:48:35 +0200] rev 30784
merged