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
*
Fix C-side unurlification of unboxable Option datatypes
Adam Chlipala
2011-12-17
|
*
Some new List functions, based on code by Ron de Bruijn
Adam Chlipala
2011-12-11
|
*
Treat [naughtyDebug] as pure for optimization purposes
Adam Chlipala
2011-12-05
|
*
Fix client-side [int] parsing and extend server-side [time] parsing to ↵
Adam Chlipala
2011-12-04
|
|
|
|
support a format that also works portably in JavaScript
*
Make last change nicer
Adam Chlipala
2011-12-04
|
*
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
|
*
Nicer record summary error messages
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
|
*
Avoid setting a Date's time with a non-integer value
Adam Chlipala
2011-12-03
|
*
Change client-side int parsing to match server-side, in ignoring initial zeroes
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
|
*
Update Coq semantics for 8.3pl2
Adam Chlipala
2011-11-30
|
*
Return to working version mode
Adam Chlipala
2011-11-27
|
*
New release
Adam Chlipala
2011-11-27
|
*
Switch to YUI strftime
Adam Chlipala
2011-11-26
|
*
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
|
*
Catch more <ccheckbox> events
Adam Chlipala
2011-11-24
|
*
Client-side timef
Adam Chlipala
2011-11-24
|
*
Mention Basis.current in manual
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
|
*
More complete account of URI determination in structure section
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
|
*
Fix completely broken manual description of 'view'
Adam Chlipala
2011-11-14
|
*
Remove dummy entity
Adam Chlipala
2011-11-06
|
*
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
*
Fix SQL grammar bug in manual
Adam Chlipala
2011-11-05
|
*
Remove debug print
Adam Chlipala
2011-11-02
|
[next]