index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
Commit message (
Collapse
)
Author
Age
*
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
|
*
Do a lot more type simplification for error messages
Adam Chlipala
2012-04-16
|
*
Refactor to avoid dependence on recursive mutexes
Adam Chlipala
2012-04-08
|
*
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
|
*
Handle recursive RPC handlers
Adam Chlipala
2012-03-11
|
*
Change <radio> to yield [option string]
Adam Chlipala
2012-03-10
|
*
Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
Adam Chlipala
2012-02-04
|
*
'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
Adam Chlipala
2012-02-02
|
*
Fix bug with 'dynClass' immediately inside <dyn>
Adam Chlipala
2012-01-14
|
*
'dynClass' pseudo-attribute
Adam Chlipala
2011-12-27
|
*
Add a new scoping check for unification variables, to fix a type inference bug
Adam Chlipala
2011-12-18
|
*
SQL lower() and upper() functions
Adam Chlipala
2011-12-17
|
*
Treat [naughtyDebug] as pure for optimization purposes
Adam Chlipala
2011-12-05
|
*
Stop [read] from raising an exception for invalid [int] strings
Adam Chlipala
2011-12-04
|
*
timeFormat .urp directive
Adam Chlipala
2011-12-04
|
*
Don't crash on invalid URL head terms during Tag
Adam Chlipala
2011-12-03
|
*
New 't.*' notation for SELECT
Adam Chlipala
2011-12-03
|
*
Change client-side debug to use console.debug
Adam Chlipala
2011-12-03
|
*
Client-side strlenGe
Adam Chlipala
2011-12-03
|
*
Better error messages about non-SQL-izability of types
Adam Chlipala
2011-12-03
|
*
Allow sources to be returned by RPCs
Adam Chlipala
2011-12-03
|
*
Catching integer divisions by zero
Adam Chlipala
2011-12-03
|
*
Switch to YUI strftime
Adam Chlipala
2011-11-26
|
*
Catch more <ccheckbox> events
Adam Chlipala
2011-11-24
|
*
Client-side timef
Adam Chlipala
2011-11-24
|
*
Fix bug in previous change
Adam Chlipala
2011-11-20
|
*
Don't treat comment-only lines as blank, in determining split point of .urp ↵
Adam Chlipala
2011-11-20
|
|
|
|
files
*
COALESCE
Adam Chlipala
2011-11-19
|
*
Better error messages when client-side constructs are detected in Cjrize
Adam Chlipala
2011-11-19
|
*
Fix catalog querying about empty tables
Adam Chlipala
2011-11-18
|
*
Regenerate proper Autotools files; fix JS stringToTime and add ↵
Adam Chlipala
2011-11-18
|
|
|
|
stringToTime_error
*
Better error messages about server-side use of client-side functions
Adam Chlipala
2011-11-14
|
*
Support the full set of XHTML character entities
Adam Chlipala
2011-11-05
|
*
Adjust for different ml-lex behavior between SML/NJ and MLton
Adam Chlipala
2011-11-05
|
*
Shorter, more focused error messages about undetermined unification variables
Adam Chlipala
2011-10-29
|
*
Harmonize have/need terminology in error messages; display canceled record ↵
Adam Chlipala
2011-10-27
|
|
|
|
summaries on errors
*
Catch UnboundNamed exceptions that arise from missing signature items
Adam Chlipala
2011-10-21
|
*
Change error message display order: only show disjointness/type class ↵
Adam Chlipala
2011-10-15
|
|
|
|
failures if all record unifications succeeded
*
Improved unification of record literals in type class resolution
Adam Chlipala
2011-10-15
|
*
Extend and document 'con' syntax with arguments
Adam Chlipala
2011-10-15
|
*
For new IF, fix Monoize typing and add to manual
Adam Chlipala
2011-10-15
|
*
Basis.null
Adam Chlipala
2011-10-06
|
*
Resugar tag names before printing parse errors
Adam Chlipala
2011-09-22
|
*
An abstract type of IDs
Adam Chlipala
2011-09-03
|
*
New client-side, document-level event handlers
Adam Chlipala
2011-09-03
|
*
Gentle handling of back-button returns to pages with stale message-passing ↵
Adam Chlipala
2011-08-28
|
|
|
|
credentials
*
Fix another list unurlification segfault bug; List.foldlMi
Adam Chlipala
2011-08-21
|
[next]