huffman [Fri, 13 Feb 2009 12:07:03 -0800] rev 29837
merged
huffman [Fri, 13 Feb 2009 12:06:09 -0800] rev 29836
unset execute bit
berghofe [Fri, 13 Feb 2009 16:47:08 +0100] rev 29835
Tuned datatype antiquotation.
haftmann [Fri, 13 Feb 2009 13:28:14 +0100] rev 29834
made SMLNJ happy
kleing [Fri, 13 Feb 2009 21:14:30 +1100] rev 29833
typo
kleing [Fri, 13 Feb 2009 16:00:45 +1100] rev 29832
find_consts: display the search criteria. (by Timothy Bourke)
kleing [Fri, 13 Feb 2009 14:57:25 +1100] rev 29831
find_consts: documentation. (by Timothy Bourke)
kleing [Fri, 13 Feb 2009 11:49:02 +1100] rev 29830
FindTheorems solves: update documentation (by Timothy Bourke)
haftmann [Fri, 13 Feb 2009 10:41:56 +0100] rev 29829
fixed codegen tool
haftmann [Fri, 13 Feb 2009 10:30:26 +0100] rev 29828
merged