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
/
tests
Commit message (
Expand
)
Author
Age
*
Change error message display order: only show disjointness/type class failure...
Adam Chlipala
2011-10-15
*
Improved unification of record literals in type class resolution
Adam Chlipala
2011-10-15
*
Extend and document 'con' syntax with arguments
Adam Chlipala
2011-10-15
*
For new IF, fix Monoize typing and add to manual
Adam Chlipala
2011-10-15
*
Basis.null
Adam Chlipala
2011-10-06
*
Resugar tag names before printing parse errors
Adam Chlipala
2011-09-22
*
An abstract type of IDs
Adam Chlipala
2011-09-03
*
New client-side, document-level event handlers
Adam Chlipala
2011-09-03
*
Gentle handling of back-button returns to pages with stale message-passing cr...
Adam Chlipala
2011-08-28
*
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 bro...
Adam Chlipala
2011-08-19
*
Fix bug with <dyn> as first child of <table>
Adam Chlipala
2011-08-14
*
Fix opening of shadowing, principal-signatured modules that open other modules
Adam Chlipala
2011-08-04
*
Compile self-tail-calls as gotos
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
*
Fixes for detecting pastes and autocompletes for dynamic textboxes
Adam Chlipala
2011-07-15
*
For non-debug builds, leave out source location info in what is shown to user
Adam Chlipala
2011-07-03
*
'show' instance for 'css_class'
Adam Chlipala
2011-06-23
*
Handle spaces in filenames passed to GCC (caught by Zachary Tatlock)
Adam Chlipala
2011-06-15
*
Keep user-set response headers on indirect returns
Adam Chlipala
2011-06-12
*
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
*
Properly handle form textboxes that have sources
Adam Chlipala
2011-05-29
*
Escape less-than in JavaScript strings
Adam Chlipala
2011-05-12
*
Warn that tests ought not to be used
Adam Chlipala
2011-04-17
*
Send newly created sources with messages to clients
Adam Chlipala
2011-04-09
*
Each context gets its own non-repeating sequence of source numbers
Adam Chlipala
2011-04-09
*
Fix MySQL time handling
Adam Chlipala
2011-03-27
*
Fix some cookie-related bugs in MonoReduce
Adam Chlipala
2011-02-10
*
Fix for handling of some attributes to client-side input widgets, based on a ...
Adam Chlipala
2011-01-16
*
Patch from Vladimir Shabanov to support crypt under OS X
Adam Chlipala
2011-01-16
*
Hopeful fix to stop Especialize infinite looping
Adam Chlipala
2010-12-21
*
Use proper string time format for SQLite
Adam Chlipala
2010-12-20
*
Periodic tasks
Adam Chlipala
2010-12-18
*
Change tasks to support parametric code; add clientLeaves
Adam Chlipala
2010-12-18
*
postBody type
Adam Chlipala
2010-12-18
*
Change Basis.debug to use the protocol's debug function
Adam Chlipala
2010-12-12
*
minHeap option in .urp files
Adam Chlipala
2010-12-11
*
Comments in .urp files
Adam Chlipala
2010-12-11
*
New argument to transactional free functions, to specify whether we are about...
Adam Chlipala
2010-12-04
*
-limit for running time
Adam Chlipala
2010-10-14
*
Interface for setting memory limits
Adam Chlipala
2010-10-14
*
Hopeful fix for the Great Unification Bug
Adam Chlipala
2010-10-10
[next]