index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
*
Hopeful fix for the Great Unification Bug
Adam Chlipala
2010-10-10
|
*
Flex kinds for type-level tuples; ::_ notation
Adam Chlipala
2010-10-10
|
*
Demo improvements
Adam Chlipala
2010-09-30
|
*
Mention empty-third-field 'rewrite' directives
Adam Chlipala
2010-09-30
|
*
Fix typing of cut operators; fix lexing of XML comments
Adam Chlipala
2010-09-16
|
*
Support empty datatypes, which can now be generated via 'variant []'
Adam Chlipala
2010-09-09
|
*
Updating documentation
Adam Chlipala
2010-09-07
|
*
Shortcut invocations for single .ur files
Adam Chlipala
2010-09-07
|
*
'tryDml' works with Postgres
Adam Chlipala
2010-09-07
|
*
Server-side 'onError'
Adam Chlipala
2010-09-07
|
*
tryDml
Adam Chlipala
2010-09-05
|
*
Support multiple CSS classes for a single tag
Adam Chlipala
2010-09-05
|
*
Add 'title' attribute
Adam Chlipala
2010-09-04
|
*
Confirm boxes; proper event handler setting for ctags
Adam Chlipala
2010-08-22
|
*
Reduce: Inline let-bound variables whose types involve functions
Adam Chlipala
2010-08-22
|
*
Some post-type-checking support for polymorphic variants
Adam Chlipala
2010-08-21
|
*
Polymorphic variants
Adam Chlipala
2010-08-19
|
*
Fix C-side jsification of UTF-8 strings
Adam Chlipala
2010-08-10
|
*
Better UTF-8 escaping for JavaScript and SQL literals
Adam Chlipala
2010-08-10
|
*
HTML comments
Adam Chlipala
2010-08-10
|
*
ML-style comments inside XML
Adam Chlipala
2010-08-10
|
*
Roll back WHERE checking
Adam Chlipala
2010-07-27
|
*
equalAny policies
Adam Chlipala
2010-07-27
|
*
Initial version of equalKnown working for secret
Adam Chlipala
2010-07-27
|
*
List.mapi
Adam Chlipala
2010-06-13
|
*
Catch a missed ReduceLocal of field projection annotations
Adam Chlipala
2010-06-13
|
*
More generous wildification, covering map-records
Adam Chlipala
2010-06-13
|
*
Another run of Specialize, using ReduceLocal on datatype parameters
Adam Chlipala
2010-06-05
|
*
Undo fancy wildification; instead, client code should include extra wildcard ↵
Adam Chlipala
2010-06-03
|
|
|
|
con declarations
*
Drop in some new autoconf scripts
Adam Chlipala
2010-06-03
|
*
New release
Adam Chlipala
2010-06-03
|
*
Some serious bug-fix work to get HTML example to compile; this includes ↵
Adam Chlipala
2010-06-03
|
|
|
|
fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
*
Allow complex attribute records in Tag
Adam Chlipala
2010-06-01
|
*
Try harder to place wildified 'con' declarations properly
Adam Chlipala
2010-06-01
|
*
Improve consNeq to detect unequal projected cons
Adam Chlipala
2010-06-01
|
*
Include new config.h in C source files
Adam Chlipala
2010-05-30
|
*
Include config.h.in in distribution
Adam Chlipala
2010-05-29
|
*
-moduleOf command-line option; compatibility fixes and better error messages ↵
Adam Chlipala
2010-05-27
|
|
|
|
for SQLite
*
Consider view declarations while shaking
Adam Chlipala
2010-05-27
|
*
Fix bug in module path generation with module roots; push wildification ↵
Adam Chlipala
2010-05-27
|
|
|
|
through substructures
*
Support HTTP caching of app.js
Adam Chlipala
2010-05-23
|
*
Switch to strings and eval for thunkifying JavaScripted functions
Adam Chlipala
2010-05-22
|
*
Add thunking to CHANGELOG
Adam Chlipala
2010-05-22
|
*
Thunking recursive JavaScripted function ASTs, to reduce page load time ↵
Adam Chlipala
2010-05-22
|
|
|
|
dramatically
*
URL-escape with '.' instead of '%', to avoid confusing proxies
Adam Chlipala
2010-05-18
|
*
Fix width/height CSS choices for table rows/columns; stop warning about ↵
Adam Chlipala
2010-05-16
|
|
|
|
inability to embed type in JavaScript
*
Fix C-mangling of datatype names
Adam Chlipala
2010-05-16
|
*
Avoid reimplementing conversion to C strings
Adam Chlipala
2010-05-15
|
*
New release
Adam Chlipala
2010-05-06
|
*
Merge
Adam Chlipala
2010-05-06
|
\
[next]