log

age author description
Mon, 02 Jan 2012 15:38:52 -0500 Adam Chlipala Add arguments to [type] declarations and signature items
Sat, 31 Dec 2011 16:08:17 -0500 Adam Chlipala More documentation on URL generation and free variables
Sat, 31 Dec 2011 15:24:44 -0500 Adam Chlipala Undo change to dyn() in runtime system
Sat, 31 Dec 2011 13:31:00 -0500 Adam Chlipala Error messages about applying 'dynClass' to tags that don't like it
Thu, 29 Dec 2011 16:08:34 -0500 Adam Chlipala Add dynamic content before running its scripts, to get IDs in scope; fix generation of Postgres queries with blobs
Thu, 29 Dec 2011 14:12:03 -0500 Adam Chlipala Rename [Top.id] to avoid clash with [Basis.id]
Thu, 29 Dec 2011 10:04:09 -0500 Adam Chlipala Discuss a subtlety in the semantics of <dyn>