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 (
Expand
)
Author
Age
*
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 cr...
Adam Chlipala
2011-08-28
*
Warn about concurrency issues with message-passing
Adam Chlipala
2011-08-28
*
Postgres deadlock triggers unlimited retry
Adam Chlipala
2011-08-28
*
Fix another list unurlification segfault bug; List.foldlMi
Adam Chlipala
2011-08-21
*
Add prototypes for [un]urlification functions
Adam Chlipala
2011-08-21
*
Fix crash in list unurlification
Adam Chlipala
2011-08-21
*
Basis.mkMonad
Adam Chlipala
2011-08-19
*
Add antiquote for ORDER BY directions
Adam Chlipala
2011-08-19
*
Add timestamps to 'app.js' filenames, to prevent inappropriate caching by bro...
Adam Chlipala
2011-08-19
*
Fix bug in JavaScript embedding of lists
Adam Chlipala
2011-08-15
*
Compiler frees as much memory as possible before passing control to C compiler
Adam Chlipala
2011-08-15
*
Fix list urlification
Adam Chlipala
2011-08-14
*
Remove commented-out code
Adam Chlipala
2011-08-14
*
Handle case where shakeExp can remove datatype.
Karn Kallio
2011-08-12
*
Remove some unnecessary parens
Adam Chlipala
2011-08-14
*
Distribute applications of "arrow type" ECase across branches.
Karn Kallio
2011-08-11
*
'-dumpTypes'
Adam Chlipala
2011-08-07
*
Better wildification, avoiding some unintentional variable capture
Adam Chlipala
2011-08-06
*
Configure correct C compiler options for Pthreads
Adam Chlipala
2011-08-04
*
Fix opening of shadowing, principal-signatured modules that open other modules
Adam Chlipala
2011-08-04
*
Improve detection of XML in urweb-mode; small tutorial improvement
Adam Chlipala
2011-08-02
*
Compile self-tail-calls as gotos
Adam Chlipala
2011-08-02
*
Remove some GCC-specific identifier choice and documentation
Adam Chlipala
2011-08-02
*
Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng)
Adam Chlipala
2011-08-02
*
A few error message improvements
Adam Chlipala
2011-08-02
*
Tracking and printing of version numbers (based on a patch by Austin Seipp)
Adam Chlipala
2011-08-02
*
Client-side 'addSeconds'
Adam Chlipala
2011-07-24
*
<image>
Adam Chlipala
2011-07-24
*
A few more tweaks to support Clang (including ending use of nested functions)
Adam Chlipala
2011-07-23
*
Stop using -fno-inline by default
Adam Chlipala
2011-07-23
*
Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds a...
Adam Chlipala
2011-07-22
*
Change cookie signature comparison to resist timing attacks (based on code su...
Adam Chlipala
2011-07-19
*
First tutorial chapter ready
Adam Chlipala
2011-07-16
*
Preserve tutorial indentation
Adam Chlipala
2011-07-15
*
Make 'static' protocol handle unlimited retry
Adam Chlipala
2011-07-15
*
Tutorial tweaks
Adam Chlipala
2011-07-15
*
Tutorial section headings
Adam Chlipala
2011-07-15
*
Allow HTML in tutorial comments
Adam Chlipala
2011-07-15
*
Beautified tutorial HTML
Adam Chlipala
2011-07-15
*
Generated pretty-printed HTML for a simple tutorial source file
Adam Chlipala
2011-07-15
*
Narrow Maybe match case.
Karn Kallio
2011-07-06
*
Add client-side Basis.now and pretty-printing of times
Adam Chlipala
2011-07-06
*
Change Basis.rand to use cryptographically secure generation
Adam Chlipala
2011-07-03
*
Basis.currentUrlHasQueryString
Adam Chlipala
2011-07-03
*
For non-debug builds, leave out source location info in what is shown to user
Adam Chlipala
2011-07-03
*
Workaround for old IE handling of <option> with no 'value' attribute
Adam Chlipala
2011-06-26
*
'noXsrfProtection' .urp directive
Adam Chlipala
2011-06-24
*
'show' instance for 'css_class'
Adam Chlipala
2011-06-23
*
xtable monoize to string.
Karn Kallio
2011-06-22
[next]