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 (
Expand
)
Author
Age
*
Add arguments to [type] declarations and signature items
Adam Chlipala
2012-01-02
*
More documentation on URL generation and free variables
Adam Chlipala
2011-12-31
*
Undo change to dyn() in runtime system
Adam Chlipala
2011-12-31
*
Error messages about applying 'dynClass' to tags that don't like it
Adam Chlipala
2011-12-31
*
Add dynamic content before running its scripts, to get IDs in scope; fix gene...
Adam Chlipala
2011-12-29
*
Rename [Top.id] to avoid clash with [Basis.id]
Adam Chlipala
2011-12-29
*
Discuss a subtlety in the semantics of <dyn>
Adam Chlipala
2011-12-29
*
Finish updating Grid1 demo to work with type inference change
Adam Chlipala
2011-12-29
*
Get a few more source files up-to-date with change to [tag] type
Adam Chlipala
2011-12-28
*
Merge
Adam Chlipala
2011-12-28
|
\
*
|
More about the JavaScript FFI in the manual
Adam Chlipala
2011-12-28
|
*
'dynClass' pseudo-attribute
Adam Chlipala
2011-12-27
|
/
*
Refactor HTML contexts to prevent some illegal nestings (that can crash the J...
Adam Chlipala
2011-12-20
*
Redo HTML context classification, to keep regular <body> tags out of <table> ...
Adam Chlipala
2011-12-20
*
Order constructors properly in wildification, to avoid spuriously displeasing...
Adam Chlipala
2011-12-18
*
Add a new scoping check for unification variables, to fix a type inference bug
Adam Chlipala
2011-12-18
*
Manual typo fix
Adam Chlipala
2011-12-17
*
Allow .urp libraries to set prefix
Adam Chlipala
2011-12-17
*
SQL lower() and upper() functions
Adam Chlipala
2011-12-17
*
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 suppor...
Adam Chlipala
2011-12-04
*
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
[next]