annotate CHANGELOG @ 517:aceb2d982f8f

Catch another unneeded lift in ElabEnv.pushCRel
author Adam Chlipala <adamc@hcoop.net>
date Thu, 27 Nov 2008 11:06:10 -0500
parents 65d8541c130b
children 612001c39ed6
rev   line source
adamc@506 1 ========
adamc@506 2 ========
adamc@506 3
adamc@506 4 - Optimization: Fusing page writes with calls to recursive functions
adamc@506 5
adamc@504 6 ========
adamc@504 7 20081120
adamc@504 8 ========
adamc@504 9
adamc@504 10 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 11 - Take advantage of nested functions in some demos
adamc@504 12 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@504 13 - "-guided-demo" option that works like "-demo" but uses less screen space for prose
adamc@504 14
adamc@467 15 ========
adamc@497 16 20081118
adamc@467 17 ========
adamc@467 18
adamc@467 19 - Nested function definitions
adamc@467 20 - Primitive "time" type
adamc@467 21 - Nullable SQL columns (via "option")
adamc@467 22 - Cookies
adamc@496 23 - Compiler: Specialization of functions to known arguments (especially of function type)
adamc@467 24
adamc@435 25 ========
adamc@435 26 20081028
adamc@435 27 ========
adamc@435 28
adamc@435 29 - Add GCCARGS configure option
adamc@435 30
adamc@433 31 ========
adamc@433 32 20081027
adamc@433 33 ========
adamc@433 34
adamc@433 35 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 36 - Remove need for "() <-" notation.
adamc@433 37
adamc@433 38 ========
adamc@433 39 20081026
adamc@433 40 ========
adamc@433 41
adamc@433 42 - Change 'sed' call to work on OSX.
adamc@433 43 - Avoid including or linking libpq files on apps that don't use SQL.