annotate CHANGELOG @ 1058:86b831978b8d

Recursive hnormSgn for projections of signatures from modules
author Adam Chlipala <adamc@hcoop.net>
date Sat, 05 Dec 2009 14:34:44 -0500
parents c42bfbd75ca9
children 217eb87dde31
rev   line source
adamc@1050 1 ========
adamc@1056 2 20091203
adamc@1050 3 ========
adamc@1050 4
adamc@1050 5 - Extended cookie interface (breaks backward compatibility for 'setCookie')
adamc@1050 6 - Bug fixes
adamc@1056 7 - Extended UTF-8 characters in HTML
adamc@1050 8
adamc@1043 9 ========
adamc@1043 10 20091124
adamc@1043 11 ========
adamc@1043 12
adamc@1043 13 - Improved Internet Explorer compatibility
adamc@1043 14
adamc@1020 15 ========
adamc@1033 16 20091108
adamc@1020 17 ========
adamc@1020 18
adamc@1020 19 - Bug fixes
adamc@1020 20 - Optimization improvements
adamc@1021 21 - Removed a restriction that prevented some RPCs and calls to sleep or recv
adamc@1021 22 from compiling
adamc@1020 23
adamc@999 24 ========
adamc@999 25 20091012
adamc@999 26 ========
adamc@999 27
adamc@999 28 - Small bug fixes affecting MySQL and SQLite
adamc@999 29
adamc@988 30 ========
adamc@997 31 20091009
adamc@988 32 ========
adamc@988 33
adamc@988 34 - Bug fixes
adamc@988 35 - Improvement to choice of line number to cite in record unification error
adamc@988 36 messages
adamc@994 37 - SELECT DISTINCT
adamc@996 38 - New extra demos: orm1 and versioned1
adamc@988 39
adamc@985 40 ========
adamc@985 41 20090926
adamc@985 42 ========
adamc@985 43
adamc@985 44 - Reimplemented client-side code generation to use an interpreter, rather than
adamc@985 45 compilation to JavaScript; this avoids common browser flaws: lack of
adamc@985 46 optimization of tail calls and occasional bugs in closure handling.
adamc@985 47 - Bug fixes
adamc@985 48
adamc@968 49 ========
adamc@968 50 20090919
adamc@968 51 ========
adamc@968 52
adamc@968 53 - Bug fixes
adamc@968 54 - Optimization improvements
adamc@968 55 - Expanded grid demo in demo/more: optional columns, sorting, filtering,
adamc@968 56 paging, selecting rows, aggregate row
adamc@968 57
adamc@929 58 ========
adamc@929 59 20090912
adamc@929 60 ========
adamc@929 61
adamc@929 62 - Bug fixes
adamc@929 63 - Optimization improvements
adamc@929 64 - New set of extra demos in demo/more
adamc@929 65
adamc@914 66 ========
adamc@914 67 20090825
adamc@914 68 ========
adamc@914 69
adamc@914 70 - Many bug fixes
adamc@914 71 - Remote procedure calls must be marked with the new 'rpc' function.
adamc@914 72 - Some tweaks to enable usage on OSX (suggested by Paul Snively)
adamc@914 73
adamc@897 74 ========
adamc@897 75 20090718
adamc@897 76 ========
adamc@897 77
adamc@897 78 - New application protocols: CGI and FastCGI
adamc@897 79 - New database backends: MySQL and SQLite
adamc@897 80 - More JavaScript events added to tags in standard library
adamc@897 81 - New manual section on using the foreign function interface (FFI)
adamc@897 82
adamc@852 83 ========
adamc@852 84 20090623
adamc@852 85 ========
adamc@852 86
adamc@852 87 - Many bug fixes
adamc@852 88 - Mutually-recursive datatypes
adamc@852 89 - SML-style pattern-matching syntax for "fun", "fn", and local "val"
adamc@852 90 - Backwards-incompatible change to syntax of formal constructor parameters to
adamc@852 91 value-level functions, to support the previous change
adamc@852 92 - Path map support inspired by SML/NJ CM and MLton ML Basis
adamc@852 93 - Start of some new standard library modules
adamc@852 94 - Some improvements to JavaScript runtime, including better error handling
adamc@852 95
adamc@716 96 ========
adamc@790 97 20090505
adamc@716 98 ========
adamc@716 99
adamc@716 100 - Reimplement constructor class resolution to be more general and Prolog-like
adamc@716 101 - SQL table constraints
adamc@770 102 - URLs
adamc@736 103 - Client-side error handling callbacks
adamc@736 104 - CSS
adamc@736 105 - Signing cookie values cryptographically to thwart cross site request forgery
adamc@744 106 - Blobs and HTTP file upload
adamc@752 107 - SQL outer joins
adamc@755 108 - SQL views
adamc@756 109 - Subforms
adamc@768 110 - C and JavaScript FFI
adamc@768 111 - Path rewriting
adamc@716 112
adamc@702 113 ========
adamc@702 114 20090405
adamc@702 115 ========
adamc@702 116
adamc@702 117 - Asynchronous message-passing and the associated server-side client
adamc@702 118 bookkeeping
adamc@702 119 - Reimplement parts of the client-side runtime system to avoid space leaks
adamc@702 120 - spawn and sleep
adamc@702 121 - Expand the constructor class instance rule format
adamc@702 122
adamc@663 123 ========
adamc@663 124 20090312
adamc@663 125 ========
adamc@663 126
adamc@663 127 - Replace type-level "fold" with "map"
adamc@663 128 - Replace expression-level "fold" with folders, defined in Top and
adamc@663 129 supported by some special compiler inference
adamc@663 130 - Replace guarded constructors with guarded types, introduced only by
adamc@663 131 guarded expression abstraction, and with a new explicit application form
adamc@663 132 - Kind polymorphism
adamc@663 133 - Generalize type classes to constructor classes
adamc@663 134 - Initial compilation of client-side code to JavaScript
adamc@663 135 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
adamc@665 136 - src/coq: Coq formalization of a core Ur-like calculus
adamc@663 137
adamc@506 138 ========
adamc@561 139 20081209
adamc@506 140 ========
adamc@506 141
adamc@506 142 - Optimization: Fusing page writes with calls to recursive functions
adamc@523 143 - Optimization of bottleneck compiler phases
adamc@561 144 - Reference manual
adamc@561 145 - SQL arithmetic operators
adamc@506 146
adamc@504 147 ========
adamc@504 148 20081120
adamc@504 149 ========
adamc@504 150
adamc@504 151 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 152 - Take advantage of nested functions in some demos
adamc@504 153 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@663 154 - "-guided-demo" option that works like "-demo" but uses less screen space for
adamc@663 155 prose
adamc@504 156
adamc@467 157 ========
adamc@497 158 20081118
adamc@467 159 ========
adamc@467 160
adamc@467 161 - Nested function definitions
adamc@467 162 - Primitive "time" type
adamc@467 163 - Nullable SQL columns (via "option")
adamc@467 164 - Cookies
adamc@663 165 - Compiler: Specialization of functions to known arguments (especially of
adamc@663 166 function type)
adamc@467 167
adamc@435 168 ========
adamc@435 169 20081028
adamc@435 170 ========
adamc@435 171
adamc@435 172 - Add GCCARGS configure option
adamc@435 173
adamc@433 174 ========
adamc@433 175 20081027
adamc@433 176 ========
adamc@433 177
adamc@433 178 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 179 - Remove need for "() <-" notation.
adamc@433 180
adamc@433 181 ========
adamc@433 182 20081026
adamc@433 183 ========
adamc@433 184
adamc@433 185 - Change 'sed' call to work on OSX.
adamc@433 186 - Avoid including or linking libpq files on apps that don't use SQL.