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
/
src
Commit message (
Collapse
)
Author
Age
*
Catching integer divisions by zero
Adam Chlipala
2011-12-03
|
*
Update Coq semantics for 8.3pl2
Adam Chlipala
2011-11-30
|
*
Support 'safeGet' in demos
Adam Chlipala
2011-11-25
|
*
Fix server-side urlification of custom Option types
Adam Chlipala
2011-11-25
|
*
Announce sidedness errors with source locations
Adam Chlipala
2011-11-25
|
*
Tweak error message about Basis.get to use that name instead of internal name
Adam Chlipala
2011-11-24
|
*
Client-side timef
Adam Chlipala
2011-11-24
|
*
Add LIKE operator to SQL sublanguage.
Karn Kallio
2011-11-23
|
*
Yet another fix to previous change
Adam Chlipala
2011-11-20
|
*
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
*
Merge
Ron de Bruijn
2011-11-17
|
\
*
|
Add read instance for time on the client
Ron de Bruijn
2011-11-17
|
|
|
*
Include character encoding in HTTP response headers.
Karn Kallio
2011-11-16
|
/
*
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
|
*
Tweaks to choices of source positions to use in error messages, including ↵
Adam Chlipala
2011-11-05
|
|
|
|
for subSgn
*
Adjust for different ml-lex behavior between SML/NJ and MLton
Adam Chlipala
2011-11-05
|
*
Strengthen consNeq, to avoid unwise unifications
Adam Chlipala
2011-11-05
|
*
Fix confusing error message when record unification fails because enclosed ↵
Adam Chlipala
2011-11-05
|
|
|
|
types are incompatible
*
Remove debug print
Adam Chlipala
2011-11-02
|
*
Handle application in decompileCon
Adam Chlipala
2011-11-02
|
*
Shorter, more focused error messages about undetermined unification variables
Adam Chlipala
2011-10-29
|
*
Clear reducedSummaries
Adam Chlipala
2011-10-28
|
*
Harmonize have/need terminology in error messages; display canceled record ↵
Adam Chlipala
2011-10-27
|
|
|
|
summaries on errors
*
Turn off warnings about deprecated functions, to placate silly OpenSSL ↵
Adam Chlipala
2011-10-26
|
|
|
|
change for OS X
*
Catch UnboundNamed exceptions that arise from missing signature items
Adam Chlipala
2011-10-21
|
*
Fix parsing conflict
Adam Chlipala
2011-10-15
|
*
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
|
*
IF THEN ELSE conditional for SQL.
Karn Kallio
2011-10-14
|
*
Primitive int/float functions: ceil, float, round, trunc
Adam Chlipala
2011-10-08
|
*
Fix wildification for signatures with synonyms
Adam Chlipala
2011-10-08
|
*
Basis.null
Adam Chlipala
2011-10-06
|
*
Tweaked Emacs mode to handle many "->" faster.
Vladimir Shabanov
2011-09-26
|
*
Minor tweak to speed up Emacs mode.
Vladimir Shabanov
2011-09-26
|
*
Add an URWEB_PQ_CON environment variable, which overrides the PostgreSQL ↵
Austin Seipp
2011-09-23
|
|
|
|
connection string.
*
Resugar tag names before printing parse errors
Adam Chlipala
2011-09-22
|
*
New Basis functions: preventDefault and stopPropagation (code contributed by ↵
Adam Chlipala
2011-09-11
|
|
|
|
Vladimir Shabanov)
*
Disable C optimization in debug mode
Adam Chlipala
2011-09-11
|
*
An abstract type of IDs
Adam Chlipala
2011-09-03
|
*
New client-side, document-level event handlers
Adam Chlipala
2011-09-03
|
*
Better detection of type class witnesses in local bindings
Adam Chlipala
2011-09-03
|
*
Gentle handling of back-button returns to pages with stale message-passing ↵
Adam Chlipala
2011-08-28
|
|
|
|
credentials
[next]