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
*
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
*
Fixes to work nicely with OS X and Clang (thanks to Austin Seipp)
Adam Chlipala
2011-06-17
*
Handle spaces in filenames passed to GCC (caught by Zachary Tatlock)
Adam Chlipala
2011-06-15
*
Implicit argument insertion for local variables
Adam Chlipala
2011-06-14
*
Keep user-set response headers on indirect returns
Adam Chlipala
2011-06-12
*
Handle 'prefix' directives for HTTPS
Adam Chlipala
2011-06-01
*
Proper C pretty-printing of floats in scientific notation
Adam Chlipala
2011-05-31
*
Fix bug with string literals in unAs
Adam Chlipala
2011-05-30
*
Remember to remove explicit table projections in SQLite UPDATE SET values
Adam Chlipala
2011-05-30
*
getHeader and setHeader
Adam Chlipala
2011-05-29
*
Configuration detects proper header files for database dev libraries
Adam Chlipala
2011-05-29
*
Properly handle form textboxes that have sources
Adam Chlipala
2011-05-29
*
Prevent early clearing of context post data
Adam Chlipala
2011-05-22
*
Grandfather into release: Use latest Debian testing autotools, etc.
Adam Chlipala
2011-05-15
*
Escape less-than in JavaScript strings
Adam Chlipala
2011-05-12
*
Include type attribute in script tag for generating valid XHTML.
Karn Kallio
2011-05-06
*
Corify Basis.unit to empty record; this is needed so that specialize
Karn Kallio
2011-05-06
[next]