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
*
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 a...
Adam Chlipala
2011-07-22
*
Tutorial: hyperlinks for metaprogramming and row types
Adam Chlipala
2011-07-20
*
Change cookie signature comparison to resist timing attacks (based on code su...
Adam Chlipala
2011-07-19
*
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
*
Tutorial: Names and Records
Adam Chlipala
2011-07-17
*
In demo prose, note URL for hello demo
Adam Chlipala
2011-07-16
*
First tutorial chapter ready
Adam Chlipala
2011-07-16
*
Module system tutorial
Adam Chlipala
2011-07-16
*
Finish tutorial section about common ML/Haskell features
Adam Chlipala
2011-07-15
*
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
*
New release
Adam Chlipala
2011-07-15
*
Fixes for detecting pastes and autocompletes for dynamic textboxes
Adam Chlipala
2011-07-15
*
Fix manual syntax for SQL injection
Adam Chlipala
2011-07-08
*
Narrow Maybe match case.
Karn Kallio
2011-07-06
*
Update demo/more for simplified implicit arguments
Adam Chlipala
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
*
Fix flift.
Karn Kallio
2011-07-02
[next]