log src/settings.sml

age author description
Mon, 14 Nov 2011 09:15:10 -0500 Adam Chlipala Better error messages about server-side use of client-side functions
Sat, 08 Oct 2011 17:23:58 -0400 Adam Chlipala Primitive int/float functions: ceil, float, round, trunc
Sun, 11 Sep 2011 14:14:49 -0400 Adam Chlipala New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov)