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
*
Antiquote for PRIMARY KEY
Adam Chlipala
2012-04-21
|
*
Omit 'Basis.' in pretty-printing constructors, where this is unambiguous
Adam Chlipala
2012-04-21
|
*
Pretty-print tuple types using tuple syntax
Adam Chlipala
2012-04-21
|
*
Saving proper environments, to use in displaying nested error messages
Adam Chlipala
2012-04-21
|
*
Add another rule to simplify record concatenations for pretty-printing
Adam Chlipala
2012-04-21
|
*
Avoid kindof failures in elaboration
Adam Chlipala
2012-04-21
|
*
Tweak printing of constructor record literals to allow re-parsing by compiler
Adam Chlipala
2012-04-16
|
*
Simplify types for printing with '-dumpTypes'
Adam Chlipala
2012-04-16
|
*
Do a lot more type simplification for error messages
Adam Chlipala
2012-04-16
|
*
Fix monoization of recursive variants
Adam Chlipala
2012-04-16
|
*
Saving uw_event for all events (so stopPropagation works everywhere)
Vladimir Shabanov
2012-04-11
|
*
Fixed 'onload' handling for img tag.
Vladimir Shabanov
2012-04-11
|
*
Remove string-valued style attribute, which may allow injection attacks
Adam Chlipala
2012-04-15
|
*
Added several missing tag attributes
Vladimir Shabanov
2012-04-11
|
*
Optimize code from last changeset a bit
Adam Chlipala
2012-04-08
|
*
Refactor to avoid dependence on recursive mutexes
Adam Chlipala
2012-04-08
|
*
Return to working version mode
Adam Chlipala
2012-03-29
|
*
New release
Adam Chlipala
2012-03-29
|
*
Fix defunctorization of modules containing datatype definitions
Adam Chlipala
2012-03-29
|
*
Change ID generation scheme to conform to HTML standards (thanks to Edward ↵
Adam Chlipala
2012-03-16
|
|
|
|
Yang for the catch)
*
New JavaScript FFI function: setInnerHTML
Adam Chlipala
2012-03-14
|
*
Remove weird special case for FFI functions whose first arguments have type ↵
Adam Chlipala
2012-03-14
|
|
|
|
[unit]
*
Delete C temporary directories, even if other files wind up there
Adam Chlipala
2012-03-13
|
*
Clarify necessity of 'effectful' in the manual
Adam Chlipala
2012-03-13
|
*
Remove seemingly inaccurate part of comment (perhaps clarified version can ↵
Adam Chlipala
2012-03-13
|
|
|
|
be added back in later)
*
Refactor SQL parsing code from Iflow to Sql, add querydml parser.
Edward Z. Yang
2012-03-12
|
*
Some minor documentation to the Mono AST.
Edward Z. Yang
2012-03-12
|
*
Handle recursive RPC handlers
Adam Chlipala
2012-03-11
|
*
Return to working version mode
Adam Chlipala
2012-03-10
|
*
New release
Adam Chlipala
2012-03-10
|
*
Change <radio> to yield [option string]
Adam Chlipala
2012-03-10
|
*
Avoid URL size limit in RPCs with large arguments
Adam Chlipala
2012-03-03
|
*
Avoid 'not fully determined' errors for fancy tasks
Adam Chlipala
2012-03-03
|
*
Pass non-printing characters through unchanged in sqlifyString, to support UTF-8
Adam Chlipala
2012-03-03
|
*
Correct an SQL grammar omission (thanks to Alexei Golovko for spotting the ↵
Adam Chlipala
2012-02-25
|
|
|
|
problem)
*
Update manual to fix lexical table and clarify sequencing notation
Adam Chlipala
2012-02-18
|
*
Mention FFI encoding of abstract syntax types
Adam Chlipala
2012-02-04
|
*
Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
Adam Chlipala
2012-02-04
|
*
Extend and document RANDOM
Adam Chlipala
2012-02-04
|
*
Mention convention for parens in selected expressions
Adam Chlipala
2012-02-03
|
*
'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
Adam Chlipala
2012-02-02
|
*
Fix runtime system handling of <dyn> inside <table> inside <dyn>
Adam Chlipala
2012-01-22
|
*
Fix fetching of keycodes for key events
Adam Chlipala
2012-01-15
|
*
Fixed clients mutex initialization for compiling under OS X.
Vladimir Shabanov
2012-01-14
|
*
Fix bug with 'dynClass' immediately inside <dyn>
Adam Chlipala
2012-01-14
|
*
-dumpSource flag; Especialize tweak: may specialize any argument sequence ↵
Adam Chlipala
2012-01-12
|
|
|
|
ending in a value of function-containing type
*
Small fix to previous commit
Adam Chlipala
2012-01-11
|
*
New, more principled heuristic for Especialize: only specialize uniform ↵
Adam Chlipala
2012-01-11
|
|
|
|
function arguments; that is, arguments that don't change across recursive calls
*
Tweak Especialize heuristic
Adam Chlipala
2012-01-11
|
*
Make Ubuntu linking patch more general
Adam Chlipala
2012-01-10
|
[next]