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
*
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
*
For non-debug builds, leave out source location info in what is shown to user
Adam Chlipala
2011-07-03
*
Clarify about implicit folder arguments
Adam Chlipala
2011-06-28
*
recToList
Robin Green
2011-06-27
*
top.urs: More comments
Robin Green
2011-06-28
*
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
*
Add rowspan attribute to td,th elements.
Karn Kallio
2011-06-22
*
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
[next]