annotate CHANGELOG @ 2019:79a2f3468e46

Return to working version mode
author Adam Chlipala <adam@chlipala.net>
date Sat, 31 May 2014 16:57:52 -0400
parents 57f59e46c336
children 4f2190b178e6
rev   line source
adam@2018 1 ========
adam@2018 2 20140531
adam@2018 3 ========
adam@2018 4
adam@2018 5 - Parsing extension: monadic bind supports patterns, like "(x, y) <- a; b"
adam@2018 6 - New, optional less safe FFI
adam@2018 7 - New HTML tags: <tbody>, <tfoot>, <thead>
adam@2018 8 - HTML5 data-* attributes
adam@2018 9 - HTML5 semantic tags
adam@2018 10 - Syntactic sugar extension: allow parens grouping joins in FROM clauses
adam@2018 11 - Bug fixes and documentation improvements
adam@2018 12
adam@2003 13 ========
adam@2003 14 20140426
adam@2003 15 ========
adam@2003 16
adam@2003 17 - New Basis functions having to do with dates and times, wrapped nicely in new
adam@2003 18 Datetime module of standard library
adam@2003 19 - New .urp directives: 'html5', 'neverInline', 'noMangleSql'
adam@2003 20 - New command-line arguments: '-explainEmbed', '-stop'
adam@2003 21 - Changes to C FFI interface, especially for uw_register_transactional()
adam@2003 22 - 'Basis.getEnv' now always calls UNIX getenv() outside a page handler.
adam@2003 23 - Changed <active> to avoid generating an empty <span> for empty content.
adam@2003 24 - New HTML tag: <pre>
adam@2003 25 - Bug fixes and improvements to type inference, optimizations, and documentation
adam@2003 26
adam@1950 27 ========
adam@1950 28 20131231
adam@1950 29 ========
adam@1950 30
adam@1950 31 - Performance optimizations for Ur/Web's standalone HTTP servers
adam@1950 32 - New command-line options for those servers: '-k' and '-q'
adam@1950 33 - New HTML pseudo-tag: <script>
adam@1950 34 - Trying to recv() from a different client's channel now triggers a run-time
adam@1950 35 error.
adam@1950 36 - New compiler command-line argument: -print-cinclude
adam@1950 37 - Bug fixes and improvements to optimizations, error messages, and documentation
adam@1950 38
adam@1911 39 ========
adam@1911 40 20131124
adam@1911 41 ========
adam@1911 42
adam@1911 43 - Extend 'where con' to allow descending into submodule structure
adam@1911 44 - Type inference improvements
adam@1911 45 - Treat transactional FFI functions as effectful by default,
adam@1911 46 so that 'effectful'/'benignEffectful' .urp directives aren't necessary
adam@1911 47 - Interpret 'table' signature items more flexibly,
adam@1911 48 automatically adding (Ur) constraints to support
adam@1911 49 a kind of subtyping over (SQL) constraint sets
adam@1911 50 - New header file scheme to support FFI code in either of C or C++
adam@1911 51 - New command-line arguments: -ccompiler, -print-ccompiler
adam@1911 52 - More HTML tags: <dd>, <dl>, <dt>, <em>, and <strong>
adam@1911 53 - Add 'rel' attribute to <a>
adam@1911 54 - New type synonym 'xhead'
adam@1911 55 - Refactored the development Mercurial repository to remove autogenerated files
adam@1911 56 - More integration with Autotools distribution functionality
adam@1911 57 - Improvements to documentation and compiler error messages
adam@1911 58 - Bug fixes and optimization improvements
adam@1911 59
adam@1851 60 ========
adam@1851 61 20130421
adam@1851 62 ========
adam@1851 63
adam@1851 64 - Allow any FFI module to declare new HTML tags
adam@1851 65 - Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a
adam@1851 66 kind of simple dynamic typing (unsafe, of course)
adam@1851 67 - Add some name-mangling rules to allow XML attribute 'name' and attributes with
adam@1851 68 dashes
adam@1851 69 - New Basis members: pow and tryRpc
adam@1851 70 - Add 'placeholder' attribute for <password>
adam@1851 71 - New standard library functions: Option.unsafeGet
adam@1851 72 - Add ./configure MLTONARGS option for MLTON arguments
adam@1851 73 - Bug fixes and documentation improvements
adam@1851 74
adam@1826 75 ========
adam@1826 76 20120925
adam@1826 77 ========
adam@1826 78
adam@1826 79 - Changes to optimization/compilation strategy that can speed up compilation and
adam@1826 80 reduce code size dramatically
adam@1826 81 - New .urp directives: 'coreInline' and 'monoInline'
adam@1826 82 - 'show' instance for 'sql_query'
adam@1826 83 - Improvements to compiler error messages
adam@1826 84 - Bug fixes and optimization improvements
adam@1826 85
adam@1806 86 ========
adam@1806 87 20120807
adam@1806 88 ========
adam@1806 89
adam@1806 90 - Client-side mouse and keyboard event handlers are now functions over records.
adam@1806 91 - More flexibility in local type class instances
adam@1806 92 - Remove 'class' declaration; use 'con' instead now.
adam@1806 93 - SQL window functions
adam@1806 94 - New HTML pseudo-tag: <active>
adam@1806 95 - New Basis members: getenv (and associated functions), giveFocus
adam@1806 96 - New Top member: postFields (to process POST form data when called by some external script)
adam@1806 97 - HTTP daemons take '-a' option to set IP address to listen on
adam@1806 98 - More global mouse event hooks
adam@1806 99 - Bug fixes and performance improvements
adam@1806 100
adam@1771 101 ========
adam@1771 102 20120519
adam@1771 103 ========
adam@1771 104
adam@1771 105 - Compatibility fixes for new Automake and GCC versions
adam@1771 106 - Allow synchronous RPC's in 'onunload' code
adam@1771 107 - Start of special cases for parsing CSS class names: interpret "table" as identifier 'tabl'
adam@1771 108 (since 'table' is an Ur/Web keyword)
adam@1771 109 - Bug fixes and improvements to type inference and optimization
adam@1771 110
adam@1758 111 ========
adam@1758 112 20120512
adam@1758 113 ========
adam@1758 114
adam@1758 115 - New support for CSS style code embedded in Ur/Web programs.
adam@1758 116 Two recommended usage methods:
adam@1758 117 1. Use 'style' attributes with normal CSS syntax inside string literals.
adam@1758 118 2. Generate styles programmatically with the Style module of the Gui library
adam@1758 119 (distributed separately).
adam@1758 120 - 'dynStyle' attribute, which is to 'style' as 'dynClass' is to 'class'
adam@1758 121 - Parsing of standard syntax for 'class' attributes, via specially interpreted
adam@1758 122 string literals
adam@1758 123 - New optional suffix for 'rewrite' in .urp files: [-]
adam@1758 124 - Compiler error message improvements, including simplification of types
adam@1758 125 - New command line parameters: '-boot', '-dumpTypesOnError', '-unifyMore'
adam@1758 126 - New .urp directives: 'linker'
adam@1758 127 - Support for speeding up compilation by caching type inference results:
adam@1758 128 Run 'urweb daemon start' to spawn a background process,
adam@1758 129 'urweb daemon stop' to kill it.
adam@1758 130 - Enforcement of uniqueness of top-level module names across a project
adam@1758 131 - Adjust error message format to match Emacs compilation mode defaults
adam@1758 132 - More HTML attributes added
adam@1758 133 - New antiquote syntax for 'PRIMARY KEY'
adam@1758 134 - Bug fixes and improvements to type inference and platform compatibility
adam@1758 135
adam@1705 136 ========
adam@1705 137 20120329
adam@1705 138 ========
adam@1705 139
adam@1705 140 - New JavaScript FFI function: setInnerHTML
adam@1705 141 - Bug fixes
adam@1705 142 - Documentation improvements
adam@1705 143
adam@1693 144 ========
adam@1693 145 20120310
adam@1693 146 ========
adam@1693 147
adam@1693 148 - 'ORDER BY RANDOM'
adam@1693 149 - New Basis members: diffInMilliseconds, toMilliseconds
adam@1693 150 - <radio> widget now returns 'option string' instead of 'string'
adam@1693 151 - '-dumpSource' command-line flag
adam@1693 152 - Bug fixes and optimization improvements
adam@1693 153
adam@1669 154 ========
adam@1669 155 20120110
adam@1669 156 ========
adam@1669 157
adam@1669 158 - Improvements to type inference and error messages
adam@1669 159 - New 'dynClass' pseudo-attribute for most HTML tags
adam@1669 160 - New 't.*' notation for selecting all columns of a table
adam@1669 161 - New SQL functions: 'lower' and 'upper'
adam@1669 162 - 'timeFormat' .urp directive
adam@1669 163 - Client-side 'debug' and 'naughtyDebug' calls use a browser debug console, if available
adam@1669 164 - Allow 'source' values to be returned by RPCs
adam@1669 165 - Change the HTML context classification scheme in 'Basis'
adam@1669 166 - Rename 'Top.id' to 'ident' to avoid clash with 'Basis.id'
adam@1669 167 - More client-side function implementations
adam@1669 168 - Some expanded reference manual sections
adam@1669 169 - Tweak to linker command line argument order (to prevent issues with new Ubuntu versions)
adam@1669 170 - Bug fixes
adam@1669 171
adam@1616 172 ========
adam@1616 173 20111127
adam@1616 174 ========
adam@1616 175
adam@1616 176 - Improvements to type inference and error messages
adam@1616 177 - New Basis members: ceil, float, null, round, trunc
adam@1616 178 - New SQL expression forms: 'IF..THEN..ELSE', 'COALESCE', and 'LIKE'
adam@1616 179 - Support for the full set of HTML character entities
adam@1616 180 - Client-side versions of some time-related functions
adam@1616 181 - New URWEB_PG_CON environment variable
adam@1616 182 - Allow arguments for 'con' signature items, not just declarations
adam@1616 183 - Bug fixes and performance improvements
adam@1616 184 - Tweaks for idiosyncrasies of OS X (like deprecated OpenSSL)
adam@1616 185
adam@1509 186 ========
adam@1561 187 20110917
adam@1509 188 ========
adam@1509 189
adam@1509 190 - Start of official tutorial
adam@1509 191 - Compiler support for generating nice tutorial HTML from literate source files
adam@1509 192 - New protocol 'static' for generating static pages
adam@1561 193 - Replace GCCARGS 'configure' variable with CCARGS
adam@1561 194 - Better support for compilation with Clang (including on OS X)
adam@1561 195 - Fancier 'configure' script with versioning
adam@1523 196 - Applications consult URWEB_STACK_SIZE environment variable to determine thread
adam@1523 197 stack size
adam@1561 198 - HTML tag IDs now drawn from an abstract type
adam@1561 199 - New Basis functions: diffInSeconds, mkMonad, onClick, onDblclick, onKeydown,
adam@1561 200 onKeypress, onKeyup, onMousedown, onMouseup, preventDefault, stopPropagation,
adam@1561 201 toSeconds
adam@1561 202 - Add <image> tag
adam@1561 203 - Add 'target' attribute for <a>
adam@1561 204 - New compiler command-line option: -dumpTypes
adam@1561 205 - New syntactic sugar for computed ORDER BY clauses
adam@1561 206 - Bug fixes and optimization improvements
adam@1509 207
adam@1492 208 ========
adam@1492 209 20110715
adam@1492 210 ========
adam@1492 211
adam@1492 212 - Treat local variables the same as module-level variables, for the purpose of
adam@1492 213 implicit argument insertion
adam@1492 214 - New 'noXsrfProtection' directive for .urp files
adam@1492 215 - Non-debug builds omit source location information in error messages shown to
adam@1492 216 the user (but keep that information in log entries)
adam@1492 217 - Basis.getHeader and Basis.setHeader
adam@1492 218 - Basis.show_css_class
adam@1492 219 - Basis.currentUrlHasQueryString
adam@1492 220 - Make Basis.rand cryptographically secure
adam@1492 221 - Client-side versions of Basis.now and Basis.show_time
adam@1492 222 - Bug fixes
adam@1492 223 - Improvements to auto-configuration and build process (now builds with LLVM's
adam@1492 224 Clang!)
adam@1492 225 - Clarifications in the manual
adam@1492 226
adam@1458 227 ========
adam@1460 228 20110517
adam@1458 229 ========
adam@1458 230
adam@1458 231 - Cygwin compatibility
adam@1458 232 - Compatibility with Gentoo packaging process, including a .ebuild file
adam@1458 233 - Change typing of SQL subqueries, to indicate that they may always return NULL
adam@1458 234 (for no rows)
adam@1458 235 - Syntactic sugar for GROUP BY with variable numbers of columns
adam@1458 236 (using 'tab.{{c}}', where 'c :: {Type}')
adam@1458 237 - 'ALL' for SQL relational operators
adam@1458 238 - Add nullable types to the class for valid operands for SQL arithmetic
adam@1458 239 - 'alt' attribute for <img>
adam@1458 240 - <sup> and <sub> HTML tags
adam@1458 241 - Allow 'debug' and 'naughtyDebug' in client-side code, implemented with 'alert'
adam@1458 242 - Bug fixes and optimization improvements
adam@1458 243
adam@1400 244 ========
adam@1414 245 20110123
adam@1400 246 ========
adam@1400 247
adam@1400 248 - Changes to encoding of SQL aggregate functions: nullable types may be
adam@1400 249 aggregated, and non-COUNT aggregates return nullable results.
adam@1400 250 - SQL subqueries may apply aggregate functions to columns bound in enclosing
adam@1400 251 queries.
adam@1400 252 - Switch from libmhash to OpenSSL.
adam@1400 253 - 'cdataChar', for injecting arbitrary character codes into XML
adam@1400 254 - 'crypt', for access to the standard UNIX password encryption routine
adam@1400 255 - 'readUtc', for parsing time strings in the UTC time zone
adam@1400 256 - Built-in 'time' type now stores microseconds (which for now are only used in
adam@1400 257 connection with Postgres timestamps).
adam@1400 258 - Client-side URL blessing and redirection
adam@1400 259 - 'currentUrlHasPost' function
adam@1400 260 - Transactional 'free' functions now passed an argument indicating whether the
adam@1400 261 runtime system expects to retry the transaction.
adam@1400 262 - Change tasks to allow task kind-specific inputs
adam@1400 263 - Add 'clientLeaves' and 'periodic' task kinds
adam@1400 264 - Support for externally-callable pages, via the 'postBody' and 'queryString'
adam@1400 265 types and the 'effectfulUrl' function
adam@1400 266 - 'minHeap' and 'alwaysInline' .urp options
adam@1400 267 - '-prefix' command-line option
adam@1400 268 - Comments in .urp files (lines starting with '#')
adam@1400 269 - Miscellaneous additions to the standard library
adam@1400 270 - Bug fixes and improvements to type inference and optimization
adam@1400 271
adam@1287 272 ========
adam@1315 273 20101102
adam@1287 274 ========
adam@1287 275
adam@1287 276 - Polymorphic variants (see Basis.variant)
adam@1297 277 - New 'onError' directive for .urp files
adam@1287 278 - (* *) and <!-- --> comments in XML
adam@1297 279 - Basis.classes, Basis.confirm, and Basis.tryDml
adam@1309 280 - New notations ::_ and :::_, for constructor parameters of unknown kind
adam@1297 281 - Invocations like 'urweb foo' will compile foo.ur as a single-file project,
adam@1297 282 even if no foo.urp exists
adam@1309 283 - '-limit' command-line flag and 'limit' .urp directive
adam@1297 284 - Bug fixes and optimization improvements
adam@1287 285
adamc@1259 286 ========
adamc@1273 287 20100603
adamc@1259 288 ========
adamc@1259 289
adamc@1259 290 - Changed URL escaping convention, to avoid confusing proxies.
adamc@1259 291 The new convention is like the normal one, but with '.' instead of '%'.
adamc@1261 292 - Changed JavaScript compilation of recursive functions to use thunks.
adamc@1261 293 This change avoids most costs of functions not referenced on particular
adamc@1261 294 pages, reducing loading time dramatically.
adamc@1273 295 - Support HTTP caching of application-specific JavaScript code
adamc@1273 296 - Bug fixes
adamc@1259 297
adamc@1255 298 ========
adamc@1255 299 20100506
adamc@1255 300 ========
adamc@1255 301
adamc@1255 302 - New experimental checker for information flow and access control policies
adamc@1255 303 (See demo at http://www.impredicative.com/ur/scdv/)
adamc@1255 304
adamc@1197 305 ========
adamc@1197 306 20100401
adamc@1197 307 ========
adamc@1197 308
adamc@1197 309 - Subquery expressions and FROM items
adamc@1197 310 - Low-level support for SELECT with no FROM clause
adamc@1197 311 - Fixes for DBMS-portability of relational operators
adamc@1197 312
adamc@1183 313 ========
adamc@1190 314 20100325
adamc@1183 315 ========
adamc@1183 316
adamc@1188 317 - -verbose flag
adamc@1188 318 - COUNT(col) SQL aggregate function
adamc@1188 319 - 'benignEffectful' and 'safeGet' .urp commands
adamc@1188 320 - Remove Basis.getRequestHeader, since it can be used to circumvent cookie
adamc@1188 321 security
adamc@1190 322 - Rename Top.foldR*X to map*X
adamc@1188 323 - Bug fixes and optimization improvements
adamc@1183 324
adamc@1166 325 ========
adamc@1166 326 20100213
adamc@1166 327 ========
adamc@1166 328
adamc@1166 329 - Improvements to 'configure'; should now fail if any uncommon but required
adamc@1166 330 package is missing
adamc@1166 331 - Other fixes to configuration, build system, and C code portability
adamc@1166 332 - sigfile .urp directive & -sigfile command-line option
adamc@1166 333 - .urp files with no directives no longer need to begin with blank lines.
adamc@1166 334 - Other bug fixes
adamc@1166 335
adamc@1137 336 ========
adamc@1137 337 20100130
adamc@1137 338 ========
adamc@1137 339
adamc@1137 340 - Conversion to an Automake-based build system, for greater portability in
adamc@1137 341 building shared libraries
adamc@1137 342 - -path and -root command-line flags
adamc@1137 343 - Exported page handling functions (i.e., those page-generating functions
adamc@1137 344 appearing in the main module's signature) may now take any number of
adamc@1137 345 arguments, including 0.
adamc@1137 346
adamc@1123 347 ========
adamc@1123 348 20100112
adamc@1123 349 ========
adamc@1123 350
adamc@1123 351 - Basis.serialized type family, for storing more types in the database
adamc@1123 352 - Basis.textBlob, for building blobs from strings
adamc@1123 353 - Basis.debug function, for server-side debug printing
adamc@1123 354 - Bug fixes & optimization improvements
adamc@1123 355
adamc@1065 356 ========
adamc@1103 357 20091230
adamc@1065 358 ========
adamc@1065 359
adamc@1093 360 - Automatic insertion of implicit arguments in more positions
adamc@1065 361 - Reifying expressions as URLs and redirecting to them explicitly
adamc@1070 362 - More syntactic sugar for SQL
adamc@1070 363 - Typing of SQL queries no longer exposes which tables were used in joins but
adamc@1070 364 had none of their fields projected
adamc@1075 365 - Tasks
adamc@1095 366 - Dynamic linking of the runtime system
adamc@1077 367 - Optimization improvements
adamc@1103 368 - Bug fixes
adamc@1065 369
adamc@1050 370 ========
adamc@1056 371 20091203
adamc@1050 372 ========
adamc@1050 373
adamc@1050 374 - Extended cookie interface (breaks backward compatibility for 'setCookie')
adamc@1050 375 - Bug fixes
adamc@1056 376 - Extended UTF-8 characters in HTML
adamc@1050 377
adamc@1043 378 ========
adamc@1043 379 20091124
adamc@1043 380 ========
adamc@1043 381
adamc@1043 382 - Improved Internet Explorer compatibility
adamc@1043 383
adamc@1020 384 ========
adamc@1033 385 20091108
adamc@1020 386 ========
adamc@1020 387
adamc@1020 388 - Bug fixes
adamc@1020 389 - Optimization improvements
adamc@1021 390 - Removed a restriction that prevented some RPCs and calls to sleep or recv
adamc@1021 391 from compiling
adamc@1020 392
adamc@999 393 ========
adamc@999 394 20091012
adamc@999 395 ========
adamc@999 396
adamc@999 397 - Small bug fixes affecting MySQL and SQLite
adamc@999 398
adamc@988 399 ========
adamc@997 400 20091009
adamc@988 401 ========
adamc@988 402
adamc@988 403 - Bug fixes
adamc@988 404 - Improvement to choice of line number to cite in record unification error
adamc@988 405 messages
adamc@994 406 - SELECT DISTINCT
adamc@996 407 - New extra demos: orm1 and versioned1
adamc@988 408
adamc@985 409 ========
adamc@985 410 20090926
adamc@985 411 ========
adamc@985 412
adamc@985 413 - Reimplemented client-side code generation to use an interpreter, rather than
adamc@985 414 compilation to JavaScript; this avoids common browser flaws: lack of
adamc@985 415 optimization of tail calls and occasional bugs in closure handling.
adamc@985 416 - Bug fixes
adamc@985 417
adamc@968 418 ========
adamc@968 419 20090919
adamc@968 420 ========
adamc@968 421
adamc@968 422 - Bug fixes
adamc@968 423 - Optimization improvements
adamc@968 424 - Expanded grid demo in demo/more: optional columns, sorting, filtering,
adamc@968 425 paging, selecting rows, aggregate row
adamc@968 426
adamc@929 427 ========
adamc@929 428 20090912
adamc@929 429 ========
adamc@929 430
adamc@929 431 - Bug fixes
adamc@929 432 - Optimization improvements
adamc@929 433 - New set of extra demos in demo/more
adamc@929 434
adamc@914 435 ========
adamc@914 436 20090825
adamc@914 437 ========
adamc@914 438
adamc@914 439 - Many bug fixes
adamc@914 440 - Remote procedure calls must be marked with the new 'rpc' function.
adamc@914 441 - Some tweaks to enable usage on OSX (suggested by Paul Snively)
adamc@914 442
adamc@897 443 ========
adamc@897 444 20090718
adamc@897 445 ========
adamc@897 446
adamc@897 447 - New application protocols: CGI and FastCGI
adamc@897 448 - New database backends: MySQL and SQLite
adamc@897 449 - More JavaScript events added to tags in standard library
adamc@897 450 - New manual section on using the foreign function interface (FFI)
adamc@897 451
adamc@852 452 ========
adamc@852 453 20090623
adamc@852 454 ========
adamc@852 455
adamc@852 456 - Many bug fixes
adamc@852 457 - Mutually-recursive datatypes
adamc@852 458 - SML-style pattern-matching syntax for "fun", "fn", and local "val"
adamc@852 459 - Backwards-incompatible change to syntax of formal constructor parameters to
adamc@852 460 value-level functions, to support the previous change
adamc@852 461 - Path map support inspired by SML/NJ CM and MLton ML Basis
adamc@852 462 - Start of some new standard library modules
adamc@852 463 - Some improvements to JavaScript runtime, including better error handling
adamc@852 464
adamc@716 465 ========
adamc@790 466 20090505
adamc@716 467 ========
adamc@716 468
adamc@716 469 - Reimplement constructor class resolution to be more general and Prolog-like
adamc@716 470 - SQL table constraints
adamc@770 471 - URLs
adamc@736 472 - Client-side error handling callbacks
adamc@736 473 - CSS
adamc@736 474 - Signing cookie values cryptographically to thwart cross site request forgery
adamc@744 475 - Blobs and HTTP file upload
adamc@752 476 - SQL outer joins
adamc@755 477 - SQL views
adamc@756 478 - Subforms
adamc@768 479 - C and JavaScript FFI
adamc@768 480 - Path rewriting
adamc@716 481
adamc@702 482 ========
adamc@702 483 20090405
adamc@702 484 ========
adamc@702 485
adamc@702 486 - Asynchronous message-passing and the associated server-side client
adamc@702 487 bookkeeping
adamc@702 488 - Reimplement parts of the client-side runtime system to avoid space leaks
adamc@702 489 - spawn and sleep
adamc@702 490 - Expand the constructor class instance rule format
adamc@702 491
adamc@663 492 ========
adamc@663 493 20090312
adamc@663 494 ========
adamc@663 495
adamc@663 496 - Replace type-level "fold" with "map"
adamc@663 497 - Replace expression-level "fold" with folders, defined in Top and
adamc@663 498 supported by some special compiler inference
adamc@663 499 - Replace guarded constructors with guarded types, introduced only by
adamc@663 500 guarded expression abstraction, and with a new explicit application form
adamc@663 501 - Kind polymorphism
adamc@663 502 - Generalize type classes to constructor classes
adamc@663 503 - Initial compilation of client-side code to JavaScript
adamc@663 504 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
adamc@665 505 - src/coq: Coq formalization of a core Ur-like calculus
adamc@663 506
adamc@506 507 ========
adamc@561 508 20081209
adamc@506 509 ========
adamc@506 510
adamc@506 511 - Optimization: Fusing page writes with calls to recursive functions
adamc@523 512 - Optimization of bottleneck compiler phases
adamc@561 513 - Reference manual
adamc@561 514 - SQL arithmetic operators
adamc@506 515
adamc@504 516 ========
adamc@504 517 20081120
adamc@504 518 ========
adamc@504 519
adamc@504 520 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 521 - Take advantage of nested functions in some demos
adamc@504 522 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@663 523 - "-guided-demo" option that works like "-demo" but uses less screen space for
adamc@663 524 prose
adamc@504 525
adamc@467 526 ========
adamc@497 527 20081118
adamc@467 528 ========
adamc@467 529
adamc@467 530 - Nested function definitions
adamc@467 531 - Primitive "time" type
adamc@467 532 - Nullable SQL columns (via "option")
adamc@467 533 - Cookies
adamc@663 534 - Compiler: Specialization of functions to known arguments (especially of
adamc@663 535 function type)
adamc@467 536
adamc@435 537 ========
adamc@435 538 20081028
adamc@435 539 ========
adamc@435 540
adamc@435 541 - Add GCCARGS configure option
adamc@435 542
adamc@433 543 ========
adamc@433 544 20081027
adamc@433 545 ========
adamc@433 546
adamc@433 547 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 548 - Remove need for "() <-" notation.
adamc@433 549
adamc@433 550 ========
adamc@433 551 20081026
adamc@433 552 ========
adamc@433 553
adamc@433 554 - Change 'sed' call to work on OSX.
adamc@433 555 - Avoid including or linking libpq files on apps that don't use SQL.