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
*
Fix broken implementation of 'urweb daemon stop'
Austin Seipp
2012-11-28
|
*
Switch linker order
Adam Chlipala
2012-10-20
|
*
New release
Adam Chlipala
2012-09-25
|
*
Paranoid inlining prevention for FFI types at the Core level; less paranoid ↵
Adam Chlipala
2012-09-19
|
|
|
|
inlining promotion for passive values at the Mono level
*
Merge
Adam Chlipala
2012-09-19
|
\
*
|
Edward Z. Yang's patch to avoid repeating linker arguments
Adam Chlipala
2012-09-19
|
|
|
*
Better error message about signals remaining in server-side code
Adam Chlipala
2012-09-16
|
|
|
*
Reduce default inlining thresholds; improve a let-substitution optimization ↵
Adam Chlipala
2012-09-14
|
|
|
|
|
|
|
|
to compensate
|
*
Merge
Adam Chlipala
2012-09-14
|
|
\
|
|
/
|
/
|
|
*
Fixed HTTP date format and added Cache-Control to app.js
Vladimir Shabanov
2012-09-12
|
|
*
|
Tweaking treatment of function application: substitute or introduce a 'let'?
Adam Chlipala
2012-08-05
|
|
*
|
Added 'coreInline' and 'monoInline' .urp options
Vladimir Shabanov
2012-09-04
|
/
*
Update tutorial for Ur/Web changes
Adam Chlipala
2012-09-03
|
*
show_sql_query
Adam Chlipala
2012-08-22
|
*
Add list of files to new error message
Adam Chlipala
2012-08-18
|
*
Better error message for funky command lines
Adam Chlipala
2012-08-18
|
*
New release
Adam Chlipala
2012-08-07
|
*
Revert last changeset for now; needs more thought
Adam Chlipala
2012-08-05
|
*
Tweaking treatment of function application: substitute or introduce a 'let'?
Adam Chlipala
2012-08-05
|
*
Fix some unportable uses of C character class functions
Adam Chlipala
2012-08-03
|
*
New NameJs phase, still needing some debugging
Adam Chlipala
2012-08-02
|
*
Basis.getenv
Adam Chlipala
2012-08-02
|
*
Removed evaluation of js function name strings. (from Vladimir Shabanov)
Adam Chlipala
2012-07-29
|
*
Remove 'class' declaration; now use 'con' instead
Adam Chlipala
2012-07-29
|
*
Remove misguided type class optimization
Adam Chlipala
2012-07-26
|
*
Allow type class instances with hypotheses via local ('let') definitions
Adam Chlipala
2012-07-25
|
*
Add more global mouse event hooks
Adam Chlipala
2012-07-23
|
*
Fix bug in handling of event attributes within client-side widgets
Adam Chlipala
2012-07-21
|
*
Get regular forms working again
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
|
*
HTTP daemons now take '-a' option to set IP address to listen on
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
|
*
Track whether SQL expressions may use window functions, in preparation for ↵
Adam Chlipala
2012-06-02
|
|
|
|
actual window function support
*
Avoid redundant rollbacks
Adam Chlipala
2012-06-02
|
*
Proper error messages for missing source files
Adam Chlipala
2012-05-26
|
*
Implicit records of folders
Adam Chlipala
2012-05-17
|
*
Be more conservative in choosing candidates for Especialize, re: mutual ↵
Adam Chlipala
2012-05-17
|
|
|
|
recursion
*
Speed up space eating in MonoOpt
Vladimir Shabanov
2012-05-17
|
*
Allow RPC and run it synchronously in onunload event.
Vladimir Shabanov
2012-05-16
|
*
Lance Hepler's fix to configure.ac; small refactor of fastcgi.c to avoid ↵
Adam Chlipala
2012-05-13
|
|
|
|
undefined behavior
*
Fix hyphenation for demos; parse CSS class 'table' as 'tabl'
Adam Chlipala
2012-05-13
|
*
In incremental elaboration, handle invalidated FFI signatures
Adam Chlipala
2012-05-09
|
*
Run-time CSS style validation
Adam Chlipala
2012-05-06
|
[next]