log src/settings.sml

age author description
Mon, 09 Dec 2013 17:23:25 -0500 Adam Chlipala Add JavaScript mappings for isprint and ord
Thu, 10 Oct 2013 18:01:30 -0400 Adam Chlipala Make transactional FFI functions effectful by default
Tue, 20 Aug 2013 17:13:50 +0400 Sergey Mironov Add -ccompiler command line argument