log

age author description
Fri, 17 Jul 2009 12:25:34 -0400 Adam Chlipala Testing nested queries
Thu, 16 Jul 2009 18:10:29 -0400 Adam Chlipala Demo working with MySQL
Thu, 16 Jul 2009 16:29:13 -0400 Adam Chlipala Sequence code compiles in MySQL
Thu, 16 Jul 2009 13:59:30 -0400 Adam Chlipala MySQL accepts generated demo DDL
Sun, 12 Jul 2009 16:09:54 -0400 Adam Chlipala Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet
Sun, 12 Jul 2009 15:42:24 -0400 Adam Chlipala demo/sql working with MySQL
Sun, 12 Jul 2009 15:05:40 -0400 Adam Chlipala MySQL demo/sql succeeds in reading no rows
Sun, 12 Jul 2009 13:16:05 -0400 Adam Chlipala MySQL query gets up to C linking
Tue, 30 Jun 2009 16:17:32 -0400 Adam Chlipala Validating views
Tue, 30 Jun 2009 15:59:41 -0400 Adam Chlipala Switch to Information Schema from Postgres catalog
Tue, 30 Jun 2009 15:45:10 -0400 Adam Chlipala Move all DBMS initialization to #init
Sun, 28 Jun 2009 16:41:10 -0400 Adam Chlipala Moved nextval code into Settings
Sun, 28 Jun 2009 16:22:17 -0400 Adam Chlipala Moved dml code into Settings
Sun, 28 Jun 2009 16:03:00 -0400 Adam Chlipala Moved query code into Settings
Sun, 28 Jun 2009 13:49:32 -0400 Adam Chlipala Start of multi-DBMS support
Sun, 28 Jun 2009 11:49:04 -0400 Adam Chlipala Move http protocol into its own file
Sat, 27 Jun 2009 19:07:28 -0400 Adam Chlipala FastCGI working with lighttpd
Sat, 27 Jun 2009 17:50:31 -0400 Adam Chlipala .msgs processing in FastCGI
Sat, 27 Jun 2009 16:56:32 -0400 Adam Chlipala Fix memory leak in fastcgi environment management
Sat, 27 Jun 2009 15:36:56 -0400 Adam Chlipala Fix env-reading bug in fastcgi; a bunch of non-AJAXy demos working
Sat, 27 Jun 2009 14:44:00 -0400 Adam Chlipala Serving Hello via FastCGI
Sat, 27 Jun 2009 12:38:23 -0400 Adam Chlipala Successfully starting FastCGI sessions with Apache
Sat, 27 Jun 2009 10:50:45 -0400 Adam Chlipala Avoid using prepared statements for non-persistent protocols
Sat, 27 Jun 2009 10:30:51 -0400 Adam Chlipala -debug from the command line
Tue, 23 Jun 2009 17:59:23 -0400 Adam Chlipala cgi protocol
Tue, 23 Jun 2009 15:56:04 -0400 Adam Chlipala Initial implementation of protocols in Settings
Tue, 23 Jun 2009 15:40:35 -0400 Adam Chlipala Further refactoring of request.c to work with CGI
Tue, 23 Jun 2009 14:05:12 -0400 Adam Chlipala Factor out common request functionality, in preparation for supporting different protocols
Tue, 23 Jun 2009 12:53:47 -0400 Adam Chlipala New release
Thu, 18 Jun 2009 18:06:15 -0400 Adam Chlipala Fix a bug with 'Some p' patterns, where 'p' needs specialization
Tue, 16 Jun 2009 17:52:44 -0400 Adam Chlipala Fix a variable capture bug in nested JavaScript; some more list stuff
Tue, 16 Jun 2009 14:38:01 -0400 Adam Chlipala Fix a bug in type class enrichment from substructures
Sat, 13 Jun 2009 15:42:24 -0400 Adam Chlipala Fix MonoReduce unsoundness with lets and fns
Sat, 13 Jun 2009 14:29:36 -0400 Adam Chlipala <dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls
Tue, 09 Jun 2009 18:11:59 -0400 Adam Chlipala Some standard library reorgs and additions; handle mutual datatypes better in Specialize
Tue, 09 Jun 2009 11:12:34 -0400 Adam Chlipala Mark current as effectful; add List functions
Sun, 07 Jun 2009 16:45:00 -0400 Adam Chlipala Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
Sun, 07 Jun 2009 14:15:22 -0400 Adam Chlipala List.all; fix ANDALSO/ORELSE parsing precedence
Sun, 07 Jun 2009 12:01:55 -0400 Adam Chlipala && and ||
Sun, 07 Jun 2009 11:13:18 -0400 Adam Chlipala Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
Sat, 06 Jun 2009 15:29:34 -0400 Adam Chlipala Fix unbound name problem in Jscomp injectors; more List stuff
Sat, 06 Jun 2009 14:09:30 -0400 Adam Chlipala List library additions; fix another substructure unification bug
Tue, 02 Jun 2009 19:28:25 -0400 Adam Chlipala Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
Tue, 02 Jun 2009 15:43:18 -0400 Adam Chlipala Tweak -- precedence; use right env for final exhaustiveness errors
Tue, 02 Jun 2009 13:55:10 -0400 Adam Chlipala Fix relative precedence of ; and case-stuff
Tue, 02 Jun 2009 12:40:09 -0400 Adam Chlipala Less whining about match failures; fix singleton record Jscomp bug
Tue, 02 Jun 2009 11:50:53 -0400 Adam Chlipala Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module
Sun, 31 May 2009 15:25:27 -0400 Adam Chlipala Expose resolveClass from Elaborate
Sun, 31 May 2009 13:43:02 -0400 Adam Chlipala Fix pathmap bug; expose lower-level heap manipulation from C
Sun, 31 May 2009 12:41:34 -0400 Adam Chlipala strcspn and friends
Sat, 30 May 2009 14:44:29 -0400 Adam Chlipala Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly
Sat, 30 May 2009 13:29:00 -0400 Adam Chlipala Substring functions; fix a nasty MonoReduce pattern match substitution bug
Sat, 30 May 2009 09:59:10 -0400 Adam Chlipala String.length
Thu, 28 May 2009 13:47:05 -0400 Adam Chlipala Fix variable adjustment bug in fn/case alternation
Thu, 28 May 2009 12:40:55 -0400 Adam Chlipala Fix EDLet elab_util bug
Thu, 28 May 2009 12:07:05 -0400 Adam Chlipala Destructing local let, to the point where demo compiles
Thu, 28 May 2009 11:45:45 -0400 Adam Chlipala Use a timeout to avoid errors after unload
Thu, 28 May 2009 10:35:25 -0400 Adam Chlipala Demo compiles with pattern-matching-fu
Thu, 28 May 2009 10:16:50 -0400 Adam Chlipala fn-pattern code in but not tested yet; hello compiles
Tue, 26 May 2009 12:25:06 -0400 Adam Chlipala Chars and more string operations
Sat, 23 May 2009 10:14:51 -0400 Adam Chlipala Change monoization of monads to allow partial applications of operations
Sat, 23 May 2009 09:45:02 -0400 Adam Chlipala Switch to Maranget's pattern exhaustiveness algorithm
Thu, 21 May 2009 11:45:04 -0400 Adam Chlipala Change List.mapM' to avoid leaving functions around
Thu, 21 May 2009 10:34:56 -0400 Adam Chlipala ccheckbox
Thu, 21 May 2009 10:18:20 -0400 Adam Chlipala Split JavaScript inp() into separate functions
Sun, 17 May 2009 18:41:43 -0400 Adam Chlipala Redo Jscomp
Sun, 17 May 2009 14:36:55 -0400 Adam Chlipala Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce
Sun, 17 May 2009 13:25:57 -0400 Adam Chlipala Corify FFI datatypes properly; eliminate nested JavaScript markers
Sat, 16 May 2009 18:09:14 -0400 Adam Chlipala Loading an FCKeditor
Sat, 16 May 2009 16:59:24 -0400 Adam Chlipala Fix initialization of cselect from source
Sat, 16 May 2009 16:37:48 -0400 Adam Chlipala Fix another problem with overwrites during JavaScript pattern matching
Sat, 16 May 2009 16:02:17 -0400 Adam Chlipala Mutual datatypes through Cjrize
Sat, 16 May 2009 15:55:15 -0400 Adam Chlipala Mutual datatypes through Pathcheck
Sat, 16 May 2009 15:45:12 -0400 Adam Chlipala Mutual datatypes through Effectize
Sat, 16 May 2009 15:22:05 -0400 Adam Chlipala Mutual datatypes through Corify
Sat, 16 May 2009 15:14:17 -0400 Adam Chlipala Mutual datatypes through Elaborate
Sat, 16 May 2009 13:10:52 -0400 Adam Chlipala Add extra XML preamble nonsense
Sat, 16 May 2009 12:47:01 -0400 Adam Chlipala Catch more unclosed bodyless tags in Monoize
Sat, 16 May 2009 12:41:33 -0400 Adam Chlipala Fix a Core_untangle bug that missed closure variable references; XHTMLize
Thu, 14 May 2009 18:13:09 -0400 Adam Chlipala Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable indexes for nested JavaScript in jscomp
Thu, 14 May 2009 13:18:31 -0400 Adam Chlipala Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
Thu, 14 May 2009 11:04:56 -0400 Adam Chlipala cselect.onchange
Thu, 14 May 2009 10:31:11 -0400 Adam Chlipala Improvements while working on Graftid
Thu, 14 May 2009 09:33:48 -0400 Adam Chlipala cselect
Thu, 14 May 2009 09:11:58 -0400 Adam Chlipala Fix a nasty binding bug in CoreUtil
Thu, 14 May 2009 08:15:36 -0400 Adam Chlipala Testing custom paths
Thu, 14 May 2009 08:13:54 -0400 Adam Chlipala Improving/reordering Unpoly and Especialize; pathmaps
Tue, 12 May 2009 20:15:11 -0400 Adam Chlipala Stop potential buffer overrun of path_copy
Tue, 12 May 2009 18:02:25 -0400 Adam Chlipala Improvements while working on Graftid
Sun, 10 May 2009 10:13:41 -0400 Adam Chlipala Use Ur/Web library .mlb
Tue, 05 May 2009 14:47:11 -0400 Adam Chlipala Tag CHANGELOG with release date
Tue, 05 May 2009 14:45:21 -0400 Adam Chlipala Describe GET/POST
Tue, 05 May 2009 14:36:16 -0400 Adam Chlipala Constraint syntax
Tue, 05 May 2009 14:15:55 -0400 Adam Chlipala on* handlers
Tue, 05 May 2009 13:21:26 -0400 Adam Chlipala Revised query types
Tue, 05 May 2009 12:49:16 -0400 Adam Chlipala Table constraint Ur code
Tue, 05 May 2009 11:59:50 -0400 Adam Chlipala Revising manual through end of Section 6
Tue, 05 May 2009 11:45:03 -0400 Adam Chlipala Revising manual through end of Section 3
Tue, 05 May 2009 10:23:16 -0400 Adam Chlipala Make Effectize more precise
Sun, 03 May 2009 16:00:43 -0400 Adam Chlipala crud3 demo
Sun, 03 May 2009 15:53:29 -0400 Adam Chlipala subforms demo
Sun, 03 May 2009 15:38:49 -0400 Adam Chlipala cookieSec demo
Sun, 03 May 2009 15:13:00 -0400 Adam Chlipala view demo
Sun, 03 May 2009 14:57:33 -0400 Adam Chlipala outer demo
Sun, 03 May 2009 12:49:47 -0400 Adam Chlipala upload demo
Sun, 03 May 2009 12:36:25 -0400 Adam Chlipala css demo
Sun, 03 May 2009 12:24:39 -0400 Adam Chlipala url demo
Sun, 03 May 2009 12:01:55 -0400 Adam Chlipala constraints demo
Sat, 02 May 2009 18:46:00 -0400 Adam Chlipala Update FFI type of Basis.self
Sat, 02 May 2009 18:41:21 -0400 Adam Chlipala FFI transactionals
Sat, 02 May 2009 18:20:15 -0400 Adam Chlipala Runtime URL and MIME type filtering
Sat, 02 May 2009 13:37:52 -0400 Adam Chlipala allow/deny working in Mono_opt
Sat, 02 May 2009 13:23:07 -0400 Adam Chlipala Path rewriting
Sat, 02 May 2009 12:50:52 -0400 Adam Chlipala Add 'library' directive
Sat, 02 May 2009 12:10:43 -0400 Adam Chlipala More FFI compiler options
Sat, 02 May 2009 11:27:26 -0400 Adam Chlipala Successfully influenced effectful-ness status of FFI func
Thu, 30 Apr 2009 17:15:14 -0400 Adam Chlipala C FFI compiler options
Thu, 30 Apr 2009 16:25:27 -0400 Adam Chlipala Lexing character entities
Thu, 30 Apr 2009 15:10:13 -0400 Adam Chlipala List notations
Thu, 30 Apr 2009 14:48:23 -0400 Adam Chlipala <input type='hidden'>
Thu, 30 Apr 2009 14:43:55 -0400 Adam Chlipala Megaform test
Thu, 30 Apr 2009 13:47:46 -0400 Adam Chlipala subforms working
Thu, 30 Apr 2009 11:48:56 -0400 Adam Chlipala Subforms type-checks; lists urlified and unurlified
Thu, 30 Apr 2009 11:07:29 -0400 Adam Chlipala Basis.list
Tue, 28 Apr 2009 17:26:53 -0400 Adam Chlipala Subforms
Tue, 28 Apr 2009 15:15:21 -0400 Adam Chlipala Views in CHANGELOG
Tue, 28 Apr 2009 15:04:37 -0400 Adam Chlipala A view query works
Tue, 28 Apr 2009 14:02:23 -0400 Adam Chlipala Preparing to allow views in SELECT FROM clauses
Tue, 28 Apr 2009 11:18:27 -0400 Adam Chlipala Outer joins in CHANGELOG
Tue, 28 Apr 2009 11:14:24 -0400 Adam Chlipala RIGHT and FULL JOIN
Tue, 28 Apr 2009 11:05:28 -0400 Adam Chlipala LEFT JOIN
Tue, 28 Apr 2009 10:11:56 -0400 Adam Chlipala INNER JOIN
Tue, 28 Apr 2009 09:45:17 -0400 Adam Chlipala Switch to using sql_from_items
Sun, 26 Apr 2009 12:47:53 -0400 Adam Chlipala Extra checks on assumptions about SQL results
Sun, 26 Apr 2009 12:35:45 -0400 Adam Chlipala sql_ufunc and octet_length
Sun, 26 Apr 2009 11:07:25 -0400 Adam Chlipala blobSize
Sun, 26 Apr 2009 10:54:45 -0400 Adam Chlipala Blobs in CHANGELOG
Sun, 26 Apr 2009 10:53:36 -0400 Adam Chlipala Handling nullable blobs
Sun, 26 Apr 2009 10:45:59 -0400 Adam Chlipala Reading blobs from the database
Sun, 26 Apr 2009 09:02:17 -0400 Adam Chlipala Returning a blob as page result
Sat, 25 Apr 2009 14:47:16 -0400 Adam Chlipala Add MIME type to file
Sat, 25 Apr 2009 14:35:49 -0400 Adam Chlipala Only allow single-file upload per control
Sat, 25 Apr 2009 14:04:38 -0400 Adam Chlipala Prepared statements with blobs
Sat, 25 Apr 2009 13:59:11 -0400 Adam Chlipala Initial support for blobs and upload
Thu, 23 Apr 2009 16:13:02 -0400 Adam Chlipala Cookie signatures for RPCs
Thu, 23 Apr 2009 14:10:10 -0400 Adam Chlipala Only use cookie signatures when cookies might be read
Thu, 16 Apr 2009 19:12:12 -0400 Adam Chlipala Cookie signing working for forms
Thu, 16 Apr 2009 15:38:01 -0400 Adam Chlipala Add more buttons to demo, to avoid effectful GET
Thu, 16 Apr 2009 15:29:39 -0400 Adam Chlipala Effectness analysis
Thu, 16 Apr 2009 14:49:25 -0400 Adam Chlipala Label exported symbols by effect-ness; factor out some common datatypes
Thu, 16 Apr 2009 14:35:01 -0400 Adam Chlipala POST support
Thu, 16 Apr 2009 13:47:20 -0400 Adam Chlipala Some client-side error handling
Thu, 16 Apr 2009 13:00:40 -0400 Adam Chlipala Avoid thread death via message receive
Thu, 16 Apr 2009 12:43:55 -0400 Adam Chlipala Show XML
Thu, 16 Apr 2009 12:36:01 -0400 Adam Chlipala onError
Thu, 16 Apr 2009 12:07:21 -0400 Adam Chlipala Catching duplicate cookie and style paths
Thu, 16 Apr 2009 12:00:44 -0400 Adam Chlipala <link>
Mon, 13 Apr 2009 08:44:32 -0400 Adam Chlipala Simplify type class requirement for tree demo
Sun, 12 Apr 2009 14:21:19 -0400 Adam Chlipala Tiny increment to style test
Sun, 12 Apr 2009 14:19:15 -0400 Adam Chlipala Classes as optional arguments to Basis.tag
Sun, 12 Apr 2009 12:31:54 -0400 Adam Chlipala Stop tracking CSS classes in XML types
Sun, 12 Apr 2009 11:08:00 -0400 Adam Chlipala hello compiles with CSS
Sun, 12 Apr 2009 10:08:11 -0400 Adam Chlipala style declarations
Thu, 09 Apr 2009 16:36:50 -0400 Adam Chlipala URLs
Thu, 09 Apr 2009 15:58:36 -0400 Adam Chlipala Update CHANGELOG
Thu, 09 Apr 2009 15:51:50 -0400 Adam Chlipala Use FOREIGN KEY in Tree demo
Thu, 09 Apr 2009 15:30:15 -0400 Adam Chlipala CHECK constraints
Thu, 09 Apr 2009 14:59:29 -0400 Adam Chlipala Retry failed record summary unifications at the end, in hopes that more has been learned
Thu, 09 Apr 2009 13:59:34 -0400 Adam Chlipala More flexible foreign keying
Thu, 09 Apr 2009 12:31:56 -0400 Adam Chlipala Made type class system very general; demo compiles
Tue, 07 Apr 2009 20:38:01 -0400 Adam Chlipala Get demo type-inferring again
Tue, 07 Apr 2009 18:47:47 -0400 Adam Chlipala FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
Tue, 07 Apr 2009 16:22:11 -0400 Adam Chlipala Add primary keys to demo
Tue, 07 Apr 2009 16:14:31 -0400 Adam Chlipala PRIMARY KEY
Tue, 07 Apr 2009 15:04:07 -0400 Adam Chlipala Enhance table sig item support and get demo compiling again
Tue, 07 Apr 2009 14:11:32 -0400 Adam Chlipala Track uniqueness sets in table types
Tue, 07 Apr 2009 12:24:31 -0400 Adam Chlipala UNIQUE constraints
Sun, 05 Apr 2009 16:17:32 -0400 Adam Chlipala Fixing some regressions and other bugs
Sun, 05 Apr 2009 12:41:41 -0400 Adam Chlipala CHANGELOG before release
Sun, 05 Apr 2009 12:37:38 -0400 Adam Chlipala Update the manual
Sun, 05 Apr 2009 12:05:19 -0400 Adam Chlipala Initialize contexts a little more vigorously
Sun, 05 Apr 2009 11:48:55 -0400 Adam Chlipala Chat demo
Sun, 05 Apr 2009 11:24:55 -0400 Adam Chlipala RoundTrip demo
Sun, 05 Apr 2009 10:48:11 -0400 Adam Chlipala Threads demo
Sun, 05 Apr 2009 09:26:00 -0400 Adam Chlipala Avoid generating empty <script> blocks
Sat, 04 Apr 2009 15:56:47 -0400 Adam Chlipala sleep and better Scriptcheck
Sat, 04 Apr 2009 14:55:36 -0400 Adam Chlipala spawn
Sat, 04 Apr 2009 14:03:39 -0400 Adam Chlipala _Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned
Sat, 04 Apr 2009 12:54:39 -0400 Adam Chlipala Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active
Sat, 04 Apr 2009 11:46:24 -0400 Adam Chlipala Checking spans in dyns
Thu, 02 Apr 2009 15:12:06 -0400 Adam Chlipala Redo signal implementation to avoid memory leaks
Thu, 02 Apr 2009 13:48:59 -0400 Adam Chlipala Make sure only one pull request runs at a time for each client
Thu, 02 Apr 2009 13:31:13 -0400 Adam Chlipala Detect serialization failures
Thu, 02 Apr 2009 11:42:26 -0400 Adam Chlipala On start-up, delete/nullify rows mentioning clients or channels
Thu, 02 Apr 2009 10:57:14 -0400 Adam Chlipala Don't self-update ctextboxes unnecessarily
Thu, 02 Apr 2009 10:55:00 -0400 Adam Chlipala Stop holding client locks throughout request processing
Sun, 29 Mar 2009 14:13:50 -0400 Adam Chlipala Expunging nullable fields
Sun, 29 Mar 2009 13:30:01 -0400 Adam Chlipala Expunging non-nullable rows
Sun, 29 Mar 2009 11:37:29 -0400 Adam Chlipala Redo channels, making them single-client
Sat, 28 Mar 2009 11:15:42 -0400 Adam Chlipala Switch back to starting listener on load
Sat, 28 Mar 2009 11:13:36 -0400 Adam Chlipala Marshalcheck
Thu, 26 Mar 2009 18:26:50 -0400 Adam Chlipala Chat example working nicely, but without dead channel removal
Thu, 26 Mar 2009 16:22:34 -0400 Adam Chlipala Preliminary work supporting channels in databases
Thu, 26 Mar 2009 15:54:04 -0400 Adam Chlipala Enforce termination of type class instances
Thu, 26 Mar 2009 15:26:35 -0400 Adam Chlipala Make sql_injectable class nicer with inclusion
Thu, 26 Mar 2009 15:13:36 -0400 Adam Chlipala Type class inclusions
Thu, 26 Mar 2009 14:37:31 -0400 Adam Chlipala Type class reductions, but no inclusions yet
Tue, 24 Mar 2009 15:35:46 -0400 Adam Chlipala Variable timeouts and client keep-alive
Tue, 24 Mar 2009 15:05:28 -0400 Adam Chlipala Fix some AJAX annoyances
Tue, 24 Mar 2009 14:44:45 -0400 Adam Chlipala Transactionalize channel operations
Sun, 22 Mar 2009 16:03:45 -0400 Adam Chlipala Proper recv
Sun, 22 Mar 2009 15:16:34 -0400 Adam Chlipala Press a button to send a message
Sun, 22 Mar 2009 15:05:07 -0400 Adam Chlipala First message send delivered, but not interpreted
Thu, 19 Mar 2009 16:34:13 -0400 Adam Chlipala Dummy message delivery to clients
Thu, 19 Mar 2009 13:47:02 -0400 Adam Chlipala Factor out some common buffer functionality
Thu, 12 Mar 2009 12:37:02 -0400 Adam Chlipala Mention src/coq in CHANGELOG
Thu, 12 Mar 2009 12:34:39 -0400 Adam Chlipala Spell-check manual
Thu, 12 Mar 2009 12:30:21 -0400 Adam Chlipala Update CHANGELOG
Thu, 12 Mar 2009 12:25:05 -0400 Adam Chlipala Add guard elim rule
Thu, 12 Mar 2009 12:23:23 -0400 Adam Chlipala Update compiler phases
Thu, 12 Mar 2009 12:18:11 -0400 Adam Chlipala Describe AJAX RPC structure
Thu, 12 Mar 2009 12:10:02 -0400 Adam Chlipala Functional-reactive subsection
Thu, 12 Mar 2009 11:56:10 -0400 Adam Chlipala Update old Ur/Web library section, before adding new stuff
Thu, 12 Mar 2009 11:36:27 -0400 Adam Chlipala Describe folders
Thu, 12 Mar 2009 11:27:23 -0400 Adam Chlipala Revise type inference section
Thu, 12 Mar 2009 11:18:54 -0400 Adam Chlipala Revise manual, through static semantics
Thu, 12 Mar 2009 10:38:13 -0400 Adam Chlipala Revise manual, through end of Syntax
Thu, 12 Mar 2009 10:26:04 -0400 Adam Chlipala Change location/type of [fold] to be more uniform w.r.t. derived folders
Thu, 12 Mar 2009 10:16:59 -0400 Adam Chlipala Revising manual, through main syntax section
Tue, 10 Mar 2009 17:29:03 -0400 Adam Chlipala Noisy demo
Tue, 10 Mar 2009 16:38:38 -0400 Adam Chlipala BatchG demo
Tue, 10 Mar 2009 15:17:23 -0400 Adam Chlipala Batch example
Tue, 10 Mar 2009 13:57:09 -0400 Adam Chlipala Increment demo
Tue, 10 Mar 2009 13:46:45 -0400 Adam Chlipala Prose for ListEdit
Tue, 10 Mar 2009 12:44:40 -0400 Adam Chlipala ListEdit demo, minus prose
Tue, 10 Mar 2009 11:18:01 -0400 Adam Chlipala React demo
Tue, 10 Mar 2009 10:49:18 -0400 Adam Chlipala Alert demo
Tue, 10 Mar 2009 10:44:26 -0400 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
Sun, 08 Mar 2009 20:34:21 -0400 Adam Chlipala Conversion of functions to CPS, to facilitate ServerCall
Sun, 08 Mar 2009 13:41:55 -0400 Adam Chlipala RPC returning an option
Sun, 08 Mar 2009 13:28:21 -0400 Adam Chlipala RPC returning a default datatype
Sun, 08 Mar 2009 12:54:07 -0400 Adam Chlipala RPC returning an option datatype
Sun, 08 Mar 2009 12:37:42 -0400 Adam Chlipala RPC returning an enumeration
Thu, 26 Feb 2009 16:16:54 -0500 Adam Chlipala Kind-polymorphic [fst] and friends
Thu, 26 Feb 2009 13:56:54 -0500 Adam Chlipala Coq README
Tue, 24 Feb 2009 16:08:14 -0500 Adam Chlipala Coq formalization uses TDisjoint
Tue, 24 Feb 2009 15:54:05 -0500 Adam Chlipala Folder generation for functors
Tue, 24 Feb 2009 15:38:01 -0500 Adam Chlipala Folder generation for functions
Tue, 24 Feb 2009 15:12:13 -0500 Adam Chlipala Demos compile again, with manual folders
Tue, 24 Feb 2009 14:04:07 -0500 Adam Chlipala Make folders abstract
Tue, 24 Feb 2009 13:50:39 -0500 Adam Chlipala Top.Fold.mp
Tue, 24 Feb 2009 13:46:08 -0500 Adam Chlipala Top.Fold.concat elaborates
Tue, 24 Feb 2009 12:01:24 -0500 Adam Chlipala Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
Sun, 22 Feb 2009 17:39:55 -0500 Adam Chlipala demo/sum working with manual folders
Sun, 22 Feb 2009 17:17:01 -0500 Adam Chlipala demo/hello compiles with kind polymorphism
Sun, 22 Feb 2009 16:33:55 -0500 Adam Chlipala Turned off termination checking, for now
Sun, 22 Feb 2009 16:32:56 -0500 Adam Chlipala Kind polymorphism through Explify
Sun, 22 Feb 2009 16:10:25 -0500 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
Sat, 21 Feb 2009 16:11:56 -0500 Adam Chlipala Debug reverse-engineering unification
Sat, 21 Feb 2009 15:33:20 -0500 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
Sat, 21 Feb 2009 14:10:06 -0500 Adam Chlipala Finish semantics for Featherweight Ur
Sat, 21 Feb 2009 13:22:30 -0500 Adam Chlipala Time to start thinking about guards
Sat, 21 Feb 2009 13:17:06 -0500 Adam Chlipala Most of expression semantics
Sat, 21 Feb 2009 11:23:24 -0500 Adam Chlipala map-only syntax and semantics
Wed, 18 Feb 2009 09:32:17 -0500 Adam Chlipala Semantics for ordered rows only
Tue, 17 Feb 2009 14:49:28 -0500 Adam Chlipala Start of Featherweight Ur semantics
Sun, 15 Feb 2009 13:03:09 -0500 Adam Chlipala Parameterized RPC query
Sun, 15 Feb 2009 12:33:41 -0500 Adam Chlipala Initial parsing of RPC results
Sun, 15 Feb 2009 11:33:53 -0500 Adam Chlipala Detect AJAX call failures
Sun, 15 Feb 2009 11:24:16 -0500 Adam Chlipala Avoid extra slashes in Cjr urlification
Sun, 15 Feb 2009 10:54:00 -0500 Adam Chlipala Reading and displaying value via AJAX
Sun, 15 Feb 2009 10:32:50 -0500 Adam Chlipala First gimpy RPC
Sun, 15 Feb 2009 09:27:36 -0500 Adam Chlipala Export RPC functions and push RPC calls through to Mono
Sat, 14 Feb 2009 14:07:56 -0500 Adam Chlipala Start of RPCification
Tue, 27 Jan 2009 09:53:51 -0500 Adam Chlipala Use normal fields of ctextboxes
Sat, 17 Jan 2009 09:55:12 -0500 Adam Chlipala dlist2 working swimmingly
Sat, 17 Jan 2009 09:47:30 -0500 Adam Chlipala Add dynamic content under proper parents
Fri, 16 Jan 2009 15:49:10 -0500 Adam Chlipala dlist example working
Tue, 13 Jan 2009 15:23:48 -0500 Adam Chlipala Combine lib* directories
Tue, 13 Jan 2009 15:17:11 -0500 Adam Chlipala Initial experiments with nested <dyn>
Sun, 11 Jan 2009 10:41:38 -0500 Adam Chlipala Do proper insertion of dynamic content within nested DOM containers
Sun, 11 Jan 2009 10:22:19 -0500 Adam Chlipala Use header to set default script type
Sun, 11 Jan 2009 10:05:06 -0500 Adam Chlipala Hooking a source into an input
Thu, 08 Jan 2009 10:30:14 -0500 Adam Chlipala Injected a non-special-case datatype
Thu, 08 Jan 2009 10:15:45 -0500 Adam Chlipala Injected a polymorphic, recursive type
Thu, 08 Jan 2009 09:57:45 -0500 Adam Chlipala Injected an enumeration
Fri, 02 Jan 2009 13:03:22 -0500 Adam Chlipala Injected an option
Fri, 02 Jan 2009 12:42:39 -0500 Adam Chlipala Injected a record
Thu, 01 Jan 2009 16:11:42 -0500 Adam Chlipala Injecting strings and bools
Thu, 01 Jan 2009 15:59:02 -0500 Adam Chlipala Injecting a float
Thu, 01 Jan 2009 15:11:17 -0500 Adam Chlipala Injecting an int
Thu, 01 Jan 2009 11:58:00 -0500 Adam Chlipala Included a recursive function in JavaScript
Thu, 01 Jan 2009 11:26:34 -0500 Adam Chlipala Basic datatype reactives
Thu, 01 Jan 2009 11:16:57 -0500 Adam Chlipala Reactive if
Thu, 01 Jan 2009 11:13:08 -0500 Adam Chlipala Reactive bool
Thu, 01 Jan 2009 11:04:09 -0500 Adam Chlipala Reactive record pattern
Thu, 01 Jan 2009 10:49:42 -0500 Adam Chlipala Used an option as a source
Thu, 01 Jan 2009 10:18:20 -0500 Adam Chlipala Reactive computation with more base types and records
Thu, 01 Jan 2009 10:08:22 -0500 Adam Chlipala Source containing an int
Tue, 30 Dec 2008 16:11:29 -0500 Adam Chlipala Double-bind works
Tue, 30 Dec 2008 16:08:25 -0500 Adam Chlipala Propagating a change through a bind
Tue, 30 Dec 2008 15:53:04 -0500 Adam Chlipala Propagated a source change into a dynamic document element
Tue, 30 Dec 2008 11:33:31 -0500 Adam Chlipala Harmonized source-setting between server and client
Tue, 30 Dec 2008 10:49:42 -0500 Adam Chlipala Setting a source server-side
Tue, 30 Dec 2008 09:43:45 -0500 Adam Chlipala Merge
Tue, 30 Dec 2008 09:43:41 -0500 Adam Chlipala Starting to implement source set
Sun, 21 Dec 2008 12:56:39 -0500 Adam Chlipala Trivial use of a source
Wed, 24 Dec 2008 10:48:31 -0500 Adam Chlipala More manual bug reports from megacz
Sun, 21 Dec 2008 12:30:57 -0500 Adam Chlipala Handling singnal bind
Sun, 21 Dec 2008 12:01:00 -0500 Adam Chlipala Switch to using dyn() function in JavaScript
Sat, 20 Dec 2008 18:24:12 -0500 Adam Chlipala Typo report from megacz
Sat, 20 Dec 2008 16:19:26 -0500 Adam Chlipala Successfully generated a page element from a signal
Sat, 20 Dec 2008 15:46:48 -0500 Adam Chlipala Initial <dyn> support
Sat, 20 Dec 2008 14:19:21 -0500 Adam Chlipala Start of JsComp
Fri, 19 Dec 2008 12:38:11 -0500 Adam Chlipala Displayed an alert dialog
Fri, 19 Dec 2008 11:47:18 -0500 Adam Chlipala Creation of sources in server code
Fri, 19 Dec 2008 10:27:58 -0500 Adam Chlipala Monad type class seems to be working
Fri, 19 Dec 2008 10:03:31 -0500 Adam Chlipala Initial conversion to arbitrary-kind classes
Fri, 19 Dec 2008 09:35:44 -0500 Adam Chlipala Add initial C support for reactive
Tue, 09 Dec 2008 14:44:52 -0500 Adam Chlipala Prepare to release
Tue, 09 Dec 2008 14:43:43 -0500 Adam Chlipala Spell check
Tue, 09 Dec 2008 14:41:19 -0500 Adam Chlipala Add SQL arithmetic operators
Tue, 09 Dec 2008 14:06:51 -0500 Adam Chlipala Proofreading pass
Tue, 09 Dec 2008 11:57:17 -0500 Adam Chlipala Building an application
Tue, 09 Dec 2008 11:52:56 -0500 Adam Chlipala .urp files
Tue, 09 Dec 2008 11:40:51 -0500 Adam Chlipala Installation
Sun, 07 Dec 2008 15:10:59 -0500 Adam Chlipala Intro
Sun, 07 Dec 2008 15:01:21 -0500 Adam Chlipala The structure of web applications
Sun, 07 Dec 2008 14:50:03 -0500 Adam Chlipala Compiler phases
Sun, 07 Dec 2008 12:21:47 -0500 Adam Chlipala XML syntax
Sun, 07 Dec 2008 12:10:51 -0500 Adam Chlipala DML
Sun, 07 Dec 2008 12:02:54 -0500 Adam Chlipala Query syntax
Sun, 07 Dec 2008 11:19:13 -0500 Adam Chlipala Treat user-provided error messages as XML
Sun, 07 Dec 2008 10:59:14 -0500 Adam Chlipala XML
Sun, 07 Dec 2008 10:25:55 -0500 Adam Chlipala Sequences
Sun, 07 Dec 2008 10:24:23 -0500 Adam Chlipala DML
Sun, 07 Dec 2008 10:02:04 -0500 Adam Chlipala Finish documenting queries; remove a stray [unit] argument
Sun, 07 Dec 2008 09:19:53 -0500 Adam Chlipala Start of sql_exp
Sat, 06 Dec 2008 13:04:48 -0500 Adam Chlipala Start of Ur/Web library
Sat, 06 Dec 2008 12:01:12 -0500 Adam Chlipala Type inference
Sat, 29 Nov 2008 15:04:57 -0500 Adam Chlipala Module projection
Sat, 29 Nov 2008 14:32:33 -0500 Adam Chlipala selfify
Sat, 29 Nov 2008 14:09:43 -0500 Adam Chlipala Module typing
Sat, 29 Nov 2008 13:50:53 -0500 Adam Chlipala Signature compatibility
Sat, 29 Nov 2008 12:58:58 -0500 Adam Chlipala Signature compatibility
Sat, 29 Nov 2008 11:33:51 -0500 Adam Chlipala Declaration typing
Sat, 29 Nov 2008 10:49:47 -0500 Adam Chlipala Pattern typing
Sat, 29 Nov 2008 10:34:56 -0500 Adam Chlipala Typing
Sat, 29 Nov 2008 10:05:46 -0500 Adam Chlipala Definitional equality
Sat, 29 Nov 2008 09:48:10 -0500 Adam Chlipala Disjointness
Sat, 29 Nov 2008 09:34:11 -0500 Adam Chlipala Kinding
Thu, 27 Nov 2008 16:55:30 -0500 Adam Chlipala Shorthands
Thu, 27 Nov 2008 15:43:10 -0500 Adam Chlipala Declarations and modules
Thu, 27 Nov 2008 15:27:17 -0500 Adam Chlipala Expressions
Thu, 27 Nov 2008 15:06:29 -0500 Adam Chlipala Patterns
Thu, 27 Nov 2008 14:57:47 -0500 Adam Chlipala Signatures
Thu, 27 Nov 2008 14:38:53 -0500 Adam Chlipala Start of manual
Thu, 27 Nov 2008 13:43:15 -0500 Adam Chlipala Note optimizations in changelog
Thu, 27 Nov 2008 12:43:28 -0500 Adam Chlipala Avoid Especializing polymorphic code
Thu, 27 Nov 2008 12:34:44 -0500 Adam Chlipala Ditch use of ElabEnv.env in Especialize, to realize big speed-up
Thu, 27 Nov 2008 12:04:54 -0500 Adam Chlipala Untangle and shake within Especialize loop
Thu, 27 Nov 2008 11:40:13 -0500 Adam Chlipala Optimize CoreUntangle
Thu, 27 Nov 2008 11:17:56 -0500 Adam Chlipala Remove some isUnitCon cases
Thu, 27 Nov 2008 11:06:10 -0500 Adam Chlipala Catch another unneeded lift in ElabEnv.pushCRel
Thu, 27 Nov 2008 10:57:56 -0500 Adam Chlipala Optimized ElabOps.subConInCon
Thu, 27 Nov 2008 10:46:45 -0500 Adam Chlipala Stop using redundant Defunc pass
Thu, 27 Nov 2008 10:40:29 -0500 Adam Chlipala Remove unnecessary lifts in ElabEnv.pushCRel
Thu, 27 Nov 2008 10:13:22 -0500 Adam Chlipala Remove unnecessary [kindof] calls
Wed, 26 Nov 2008 15:42:00 -0500 Adam Chlipala Port Reduce improvements to ReduceLocal
Wed, 26 Nov 2008 15:03:45 -0500 Adam Chlipala crud1 compiles with new Reduce
Wed, 26 Nov 2008 14:51:52 -0500 Adam Chlipala Fix environments for repeat visits for exp reduction
Wed, 26 Nov 2008 12:59:32 -0500 Adam Chlipala Most exp rules for new Reduce
Wed, 26 Nov 2008 12:13:00 -0500 Adam Chlipala Start of new Reduce
Tue, 25 Nov 2008 15:57:16 -0500 Adam Chlipala Profiling in Makefile
Tue, 25 Nov 2008 10:05:44 -0500 Adam Chlipala Fusing writes with recursive function calls
Sun, 23 Nov 2008 11:47:28 -0500 Adam Chlipala Ignore SIGPIPE
Thu, 20 Nov 2008 14:51:14 -0500 Adam Chlipala Update CHANGELOG for 20081120
Thu, 20 Nov 2008 13:54:03 -0500 Adam Chlipala Fixing demo prose
Thu, 20 Nov 2008 12:16:30 -0500 Adam Chlipala Profiling support
Thu, 20 Nov 2008 11:34:36 -0500 Adam Chlipala Some demo improvements
Thu, 20 Nov 2008 10:44:28 -0500 Adam Chlipala Fix missing initial <html> after restarts
Thu, 20 Nov 2008 10:41:58 -0500 Adam Chlipala Update Crud demo to use local functions
Tue, 18 Nov 2008 13:47:23 -0500 Adam Chlipala Extend prose about server .exes
Tue, 18 Nov 2008 13:28:44 -0500 Adam Chlipala Tag CHANGELOG with release number
Tue, 18 Nov 2008 13:27:33 -0500 Adam Chlipala Mention Especialize in CHANGELOG
Tue, 11 Nov 2008 20:24:55 -0500 Adam Chlipala Fix type calculation for applying-a-case optimization
Tue, 11 Nov 2008 19:58:25 -0500 Adam Chlipala Map distributivity rule in hnormCon
Tue, 11 Nov 2008 19:20:37 -0500 Adam Chlipala Add CutMulti
Tue, 11 Nov 2008 18:39:38 -0500 Adam Chlipala Handle nullary transaction pages; avoid marking up headers array when reading cookies
Tue, 11 Nov 2008 16:51:45 -0500 Adam Chlipala Fix demo regression
Tue, 11 Nov 2008 16:27:51 -0500 Adam Chlipala More ThreadedBlog progress
Tue, 11 Nov 2008 15:32:10 -0500 Adam Chlipala Ignore UseRel effects in [let] expansions
Tue, 11 Nov 2008 15:12:24 -0500 Adam Chlipala Get preliminary ThreadedBlog working
Tue, 11 Nov 2008 11:49:51 -0500 Adam Chlipala Get threadedBlog to work
Sun, 09 Nov 2008 18:19:47 -0500 Adam Chlipala Remove some allocation
Sun, 09 Nov 2008 17:27:34 -0500 Adam Chlipala Prevent overzealous Especialization
Sun, 09 Nov 2008 16:54:42 -0500 Adam Chlipala Defunctionalization gets CommentBlog working
Sun, 09 Nov 2008 12:41:34 -0500 Adam Chlipala Remove an extra line
Sun, 09 Nov 2008 11:53:52 -0500 Adam Chlipala Especialize working reasonably well; need to add new closure representation pass
Sat, 08 Nov 2008 16:47:04 -0500 Adam Chlipala Better detection of [let] substitution opportunities
Sat, 08 Nov 2008 16:02:59 -0500 Adam Chlipala Especialize handles records better
Sat, 08 Nov 2008 14:42:52 -0500 Adam Chlipala Broaden set of possible especializations
Sat, 08 Nov 2008 13:15:00 -0500 Adam Chlipala Some small changes while failing to write [restrict]
Sat, 08 Nov 2008 12:24:23 -0500 Adam Chlipala Add help text for generated web servers
Sat, 08 Nov 2008 12:12:50 -0500 Adam Chlipala Handle EError returning a function; handle multiple cookies in one input header
Sat, 08 Nov 2008 10:58:59 -0500 Adam Chlipala Fix parsing of last input header
Sat, 08 Nov 2008 10:46:14 -0500 Adam Chlipala [getCookie] reads cookie settings from current page generation
Sat, 08 Nov 2008 10:33:58 -0500 Adam Chlipala Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files
Sat, 08 Nov 2008 09:55:36 -0500 Adam Chlipala Generated web servers use getopt()
Thu, 06 Nov 2008 19:43:48 -0500 Adam Chlipala Tree demo working (and other assorted regressions fixed)
Thu, 06 Nov 2008 18:49:38 -0500 Adam Chlipala Tree demo works
Thu, 06 Nov 2008 17:09:53 -0500 Adam Chlipala About to begin optimization of recursive transaction functions
Thu, 06 Nov 2008 15:52:13 -0500 Adam Chlipala Ensql'ing nullables
Thu, 06 Nov 2008 15:37:38 -0500 Adam Chlipala Inserted a NULL value
Thu, 06 Nov 2008 14:03:50 -0500 Adam Chlipala Cookies work across pages
Thu, 06 Nov 2008 12:46:45 -0500 Adam Chlipala Cookie prose; fix bugs that broke demo compilation
Thu, 06 Nov 2008 12:22:50 -0500 Adam Chlipala Cookie demo code; fix error message display
Thu, 06 Nov 2008 12:08:41 -0500 Adam Chlipala Reading cookies works
Thu, 06 Nov 2008 11:29:16 -0500 Adam Chlipala Setting a cookie
Thu, 06 Nov 2008 10:48:02 -0500 Adam Chlipala Cookies through shake2
Thu, 06 Nov 2008 10:43:48 -0500 Adam Chlipala Cookies through explify
Thu, 06 Nov 2008 10:29:55 -0500 Adam Chlipala Cookies through elaborate
Thu, 06 Nov 2008 10:04:03 -0500 Adam Chlipala Avoid allocating strings for requestHeader
Thu, 06 Nov 2008 09:47:16 -0500 Adam Chlipala Request header reading works
Thu, 06 Nov 2008 09:21:34 -0500 Adam Chlipala Monoizing FFI transactions correctly
Tue, 04 Nov 2008 09:33:35 -0500 Adam Chlipala Nested demo
Sat, 01 Nov 2008 21:24:43 -0400 Adam Chlipala Nested save compiles
Sat, 01 Nov 2008 21:19:43 -0400 Adam Chlipala Almost have that nested save function compiling
Sat, 01 Nov 2008 17:19:12 -0400 Adam Chlipala Fix some type-class detection
Sat, 01 Nov 2008 16:50:28 -0400 Adam Chlipala Remove empty writes
Sat, 01 Nov 2008 16:46:16 -0400 Adam Chlipala Wrapping works in Blog
Sat, 01 Nov 2008 16:08:39 -0400 Adam Chlipala Explify 'let'
Sat, 01 Nov 2008 15:58:55 -0400 Adam Chlipala First Unnest tests working
Sat, 01 Nov 2008 11:17:29 -0400 Adam Chlipala Elaborating 'let'
Sat, 01 Nov 2008 10:47:10 -0400 Adam Chlipala Parsing 'let'
Fri, 31 Oct 2008 09:30:22 -0400 Adam Chlipala Replace 'with' with '++'
Thu, 30 Oct 2008 17:07:34 -0400 Adam Chlipala Remove _espec tag; add some tag fields
Thu, 30 Oct 2008 16:58:54 -0400 Adam Chlipala Especialize
Thu, 30 Oct 2008 15:39:06 -0400 Adam Chlipala Don't inline case expressions
Thu, 30 Oct 2008 15:33:28 -0400 Adam Chlipala CURRENT_TIMESTAMP
Thu, 30 Oct 2008 15:16:37 -0400 Adam Chlipala Time MIN/MAX
Thu, 30 Oct 2008 15:11:37 -0400 Adam Chlipala Marshaling time to SQL
Thu, 30 Oct 2008 14:57:15 -0400 Adam Chlipala Reading timestamps from SQL
Thu, 30 Oct 2008 14:40:42 -0400 Adam Chlipala Add time to some type classes
Thu, 30 Oct 2008 14:36:48 -0400 Adam Chlipala time type
Tue, 28 Oct 2008 15:05:16 -0400 Adam Chlipala GCCARGS configure option
Mon, 27 Oct 2008 08:27:45 -0400 Adam Chlipala Remove need for '() <-' notation
Mon, 27 Oct 2008 08:16:19 -0400 Adam Chlipala Switch exit(1) call to uw_error()
Sun, 26 Oct 2008 08:41:17 -0400 Adam Chlipala Avoid using libpq when unneeded
Sat, 25 Oct 2008 18:58:45 -0400 Adam Chlipala Change 'sed' invocation to work in OSX
Sat, 25 Oct 2008 12:18:33 -0400 Adam Chlipala mkdir -p BIN
Sat, 25 Oct 2008 12:07:10 -0400 Adam Chlipala Use configure --prefix
Fri, 24 Oct 2008 19:59:17 -0400 adamc Make *_w function prototypes match header file
Fri, 24 Oct 2008 17:39:47 -0400 Adam Chlipala Add 'package' make target; add LICENSE
Fri, 24 Oct 2008 17:35:33 -0400 Adam Chlipala Remove debug print for optional inputs
Fri, 24 Oct 2008 17:30:07 -0400 Adam Chlipala Properly freeing libpq results on errors
Fri, 24 Oct 2008 16:47:18 -0400 Adam Chlipala Transactions seem to be working
Fri, 24 Oct 2008 16:13:53 -0400 Adam Chlipala Stop including functors in paths
Thu, 23 Oct 2008 18:45:10 -0400 Adam Chlipala Crud2 demo
Thu, 23 Oct 2008 18:18:51 -0400 Adam Chlipala Crud demo
Thu, 23 Oct 2008 17:52:04 -0400 Adam Chlipala Prose for Ref and Metaform
Thu, 23 Oct 2008 17:35:10 -0400 Adam Chlipala Fix bug with bringing functor argument instances into scope; Ref demo, minus prose
Thu, 23 Oct 2008 14:03:12 -0400 Adam Chlipala Metaform demos, minus prose
Thu, 23 Oct 2008 12:58:35 -0400 Adam Chlipala Fix nasty de Bruijn substitution bug; TcSum demo
Thu, 23 Oct 2008 11:59:48 -0400 Adam Chlipala Counter demo
Thu, 23 Oct 2008 11:38:31 -0400 adamc Add newline at end of file
Thu, 23 Oct 2008 11:13:11 -0400 Adam Chlipala sml-util -> urweb-util
Tue, 21 Oct 2008 19:56:20 -0400 Adam Chlipala Sum prose
Tue, 21 Oct 2008 19:31:11 -0400 Adam Chlipala Infering sum rows
Tue, 21 Oct 2008 19:24:39 -0400 Adam Chlipala Sum demo, minus inference of {Unit}s
Tue, 21 Oct 2008 18:44:52 -0400 Adam Chlipala Sql demo
Tue, 21 Oct 2008 17:49:14 -0400 Adam Chlipala Note about demo.sql
Tue, 21 Oct 2008 17:44:03 -0400 Adam Chlipala ListShop prose
Tue, 21 Oct 2008 17:34:20 -0400 Adam Chlipala Rec demo
Tue, 21 Oct 2008 17:30:06 -0400 Adam Chlipala Form example
Tue, 21 Oct 2008 17:12:22 -0400 Adam Chlipala Hello prose
Tue, 21 Oct 2008 17:02:03 -0400 Adam Chlipala Intro prose
Tue, 21 Oct 2008 16:41:11 -0400 Adam Chlipala New implicit argument handling
Tue, 21 Oct 2008 15:11:42 -0400 Adam Chlipala Recursive unurlify for Default datatypes
Tue, 21 Oct 2008 13:56:38 -0400 Adam Chlipala Remove printing of HTTP headers