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
*
Change 'spawn' implementation to allow blocking within <active code>
Adam Chlipala
2012-07-25
|
*
Fix JavaScript implementation of strcspn()
Adam Chlipala
2012-07-24
|
*
Disallow suspending operations in <active code={...}>
Adam Chlipala
2012-07-23
|
*
Add more global mouse event hooks
Adam Chlipala
2012-07-23
|
*
Nicer <active> semantics
Adam Chlipala
2012-07-22
|
*
Fix bug in handling of event attributes within client-side widgets
Adam Chlipala
2012-07-21
|
*
Top.postFields
Adam Chlipala
2012-07-21
|
*
<active>
Adam Chlipala
2012-07-21
|
*
Basis.giveFocus
Adam Chlipala
2012-07-21
|
*
New event records for key and mouse handlers
Adam Chlipala
2012-07-21
|
*
Support fancy expressions in module-level 'val' declarations
Adam Chlipala
2012-07-18
|
*
Flush elaboration cache when switching between .urp files
Adam Chlipala
2012-06-23
|
*
Lighter-weight encoding of window function use
Adam Chlipala
2012-06-03
|
*
Partitioning and ordering for window functions
Adam Chlipala
2012-06-02
|
*
Compiled a window function use
Adam Chlipala
2012-06-02
|
*
Some standard library additions from Edward Z. Yang
Adam Chlipala
2012-05-19
|
*
Run-time CSS style validation
Adam Chlipala
2012-05-06
|
*
New optional suffice for 'rewrite' in .urp files: [-]
Adam Chlipala
2012-05-06
|
*
'dynStyle' pseudo-attribute
Adam Chlipala
2012-05-06
|
*
'style' attributes
Adam Chlipala
2012-05-06
|
*
Simplify type of Basis.tag, regarding 'class' attribute; new compatibility ↵
Adam Chlipala
2012-05-06
|
|
|
|
parsing of 'class' values given as string literals
*
More diagnostic information about some type class resolution failures
Adam Chlipala
2012-05-04
|
*
Reinitialize lexer state properly
Adam Chlipala
2012-05-04
|
*
Don't modify the module cache after elaboration failures
Adam Chlipala
2012-05-02
|
*
Better discovery of type class instances from recursive definitions
Adam Chlipala
2012-05-02
|
*
In simplifying constructors for error messages, unfold constructor synonyms ↵
Adam Chlipala
2012-05-02
|
|
|
|
from modules
*
'urweb daemon start' and 'urweb daemon stop'
Adam Chlipala
2012-04-29
|
*
Include JavaScript files properly in error handler pages
Adam Chlipala
2012-04-28
|
*
Fix urlification of recursive polymorphic variants
Adam Chlipala
2012-04-28
|
*
Avoid generating empty <script> tags
Adam Chlipala
2012-04-27
|
*
Ensure proper ordering of <script> execution, to bring identifiers into ↵
Adam Chlipala
2012-04-27
|
|
|
|
scope in time
*
Omit unnecessary parens around arrows in pretty-printing
Adam Chlipala
2012-04-27
|
*
'linker' .urp directive
Adam Chlipala
2012-04-22
|
*
Another test for cancelation in error messages
Adam Chlipala
2012-04-22
|
*
-unifyMore
Adam Chlipala
2012-04-22
|
*
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
|
*
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
|
[next]