summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Catching duplicate cookie and style pathsGravatar Adam Chlipala2009-04-16
|
* <link>Gravatar Adam Chlipala2009-04-16
|
* Simplify type class requirement for tree demoGravatar Adam Chlipala2009-04-13
|
* Tiny increment to style testGravatar Adam Chlipala2009-04-12
|
* Classes as optional arguments to Basis.tagGravatar Adam Chlipala2009-04-12
|
* Stop tracking CSS classes in XML typesGravatar Adam Chlipala2009-04-12
|
* hello compiles with CSSGravatar Adam Chlipala2009-04-12
|
* style declarationsGravatar Adam Chlipala2009-04-12
|
* URLsGravatar Adam Chlipala2009-04-09
|
* Update CHANGELOGGravatar Adam Chlipala2009-04-09
|
* Use FOREIGN KEY in Tree demoGravatar Adam Chlipala2009-04-09
|
* CHECK constraintsGravatar Adam Chlipala2009-04-09
|
* Retry failed record summary unifications at the end, in hopes that more has ↵Gravatar Adam Chlipala2009-04-09
| | | | been learned
* More flexible foreign keyingGravatar Adam Chlipala2009-04-09
|
* Made type class system very general; demo compilesGravatar Adam Chlipala2009-04-09
|
* Get demo type-inferring againGravatar Adam Chlipala2009-04-07
|
* FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵Gravatar Adam Chlipala2009-04-07
| | | | lingering problems in row inference)
* Add primary keys to demoGravatar Adam Chlipala2009-04-07
|
* PRIMARY KEYGravatar Adam Chlipala2009-04-07
|
* Enhance table sig item support and get demo compiling againGravatar Adam Chlipala2009-04-07
|
* Track uniqueness sets in table typesGravatar Adam Chlipala2009-04-07
|
* UNIQUE constraintsGravatar Adam Chlipala2009-04-07
|
* Fixing some regressions and other bugsGravatar Adam Chlipala2009-04-05
|
* CHANGELOG before releaseGravatar Adam Chlipala2009-04-05
|
* Update the manualGravatar Adam Chlipala2009-04-05
|
* Initialize contexts a little more vigorouslyGravatar Adam Chlipala2009-04-05
|
* Chat demoGravatar Adam Chlipala2009-04-05
|
* RoundTrip demoGravatar Adam Chlipala2009-04-05
|
* Threads demoGravatar Adam Chlipala2009-04-05
|
* Avoid generating empty <script> blocksGravatar Adam Chlipala2009-04-05
|
* sleep and better ScriptcheckGravatar Adam Chlipala2009-04-04
|
* spawnGravatar Adam Chlipala2009-04-04
|
* _Really_ implement embedded closure GC; extend Scriptcheck to figure out ↵Gravatar Adam Chlipala2009-04-04
| | | | when client IDs must be assigned
* Fix overzealous Marshalcheck; garbage-collect string-embedded closures when ↵Gravatar Adam Chlipala2009-04-04
| | | | no dyns are active
* Checking spans in dynsGravatar Adam Chlipala2009-04-04
|
* Redo signal implementation to avoid memory leaksGravatar Adam Chlipala2009-04-02
|
* Make sure only one pull request runs at a time for each clientGravatar Adam Chlipala2009-04-02
|
* Detect serialization failuresGravatar Adam Chlipala2009-04-02
|
* On start-up, delete/nullify rows mentioning clients or channelsGravatar Adam Chlipala2009-04-02
|
* Don't self-update ctextboxes unnecessarilyGravatar Adam Chlipala2009-04-02
|
* Stop holding client locks throughout request processingGravatar Adam Chlipala2009-04-02
|
* Expunging nullable fieldsGravatar Adam Chlipala2009-03-29
|
* Expunging non-nullable rowsGravatar Adam Chlipala2009-03-29
|
* Redo channels, making them single-clientGravatar Adam Chlipala2009-03-29
|
* Switch back to starting listener on loadGravatar Adam Chlipala2009-03-28
|
* MarshalcheckGravatar Adam Chlipala2009-03-28
|
* Chat example working nicely, but without dead channel removalGravatar Adam Chlipala2009-03-26
|
* Preliminary work supporting channels in databasesGravatar Adam Chlipala2009-03-26
|
* Enforce termination of type class instancesGravatar Adam Chlipala2009-03-26
|
* Make sql_injectable class nicer with inclusionGravatar Adam Chlipala2009-03-26
|