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
*
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
|
*
Handle 'prefix' directives for HTTPS
Adam Chlipala
2011-06-01
|
*
Explain how to signal an error in a commit handler
Adam Chlipala
2011-05-31
|
*
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
|
*
Don't mention 'sessions' in the manual
Adam Chlipala
2011-05-29
|
*
Prevent early clearing of context post data
Adam Chlipala
2011-05-22
|
[next]