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
*
Better detection of type class witnesses in local bindings
Adam Chlipala
2011-09-03
|
*
Even gentler handling of back-button returns to pages with stale ↵
Adam Chlipala
2011-08-28
|
|
|
|
message-passing credentials
*
Gentle handling of back-button returns to pages with stale message-passing ↵
Adam Chlipala
2011-08-28
|
|
|
|
credentials
*
Warn about concurrency issues with message-passing
Adam Chlipala
2011-08-28
|
*
Postgres deadlock triggers unlimited retry
Adam Chlipala
2011-08-28
|
*
Gracefully accept browser's refusal to let us set certain AJAX headers
Adam Chlipala
2011-08-26
|
*
Document monadic shorthands
Adam Chlipala
2011-08-24
|
*
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 ↵
Adam Chlipala
2011-08-19
|
|
|
|
browsers
*
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
|
*
List.mapXi
Adam Chlipala
2011-08-15
|
*
Fix bug with <dyn> as first child of <table>
Adam Chlipala
2011-08-14
|
*
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
|
*
Mention transitive dependency calculation for tree shaking
Adam Chlipala
2011-08-10
|
*
'-dumpTypes'
Adam Chlipala
2011-08-07
|
*
Manual: emphasize how great '-tc' is
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
|
*
Fix to use of .hg_archival.txt (thanks to Austin Seipp)
Adam Chlipala
2011-08-02
|
*
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
|
*
List.find
Adam Chlipala
2011-07-24
|
*
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 ↵
Adam Chlipala
2011-07-22
|
|
|
|
and Basis.toSeconds
*
Tutorial: hyperlinks for metaprogramming and row types
Adam Chlipala
2011-07-20
|
*
Change cookie signature comparison to resist timing attacks (based on code ↵
Adam Chlipala
2011-07-19
|
|
|
|
suggested by Robin Green and Austin Seipp)
*
Tutorial: link to demo and manual
Adam Chlipala
2011-07-17
|
*
Copy some project front-page text to the tutorial intro
Adam Chlipala
2011-07-17
|
*
Document tutorial features
Adam Chlipala
2011-07-17
|
*
Tutorial proof-reading
Adam Chlipala
2011-07-17
|
*
Tutorial: TLC meets type classes and modules
Adam Chlipala
2011-07-17
|
*
Tutorial: folders
Adam Chlipala
2011-07-17
|
*
Tutorial: up to First-Class Polymorphism
Adam Chlipala
2011-07-17
|
[next]