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
...
*
Catch UnboundNamed exceptions that arise from missing signature items
Adam Chlipala
2011-10-21
*
Fix parsing conflict
Adam Chlipala
2011-10-15
*
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
*
IF THEN ELSE conditional for SQL.
Karn Kallio
2011-10-14
*
Primitive int/float functions: ceil, float, round, trunc
Adam Chlipala
2011-10-08
*
Fix wildification for signatures with synonyms
Adam Chlipala
2011-10-08
*
Basis.null
Adam Chlipala
2011-10-06
*
Tweaked Emacs mode to handle many "->" faster.
Vladimir Shabanov
2011-09-26
*
Minor tweak to speed up Emacs mode.
Vladimir Shabanov
2011-09-26
*
Add an URWEB_PQ_CON environment variable, which overrides the PostgreSQL conn...
Austin Seipp
2011-09-23
*
Resugar tag names before printing parse errors
Adam Chlipala
2011-09-22
*
New Basis functions: preventDefault and stopPropagation (code contributed by ...
Adam Chlipala
2011-09-11
*
Disable C optimization in debug mode
Adam Chlipala
2011-09-11
*
An abstract type of IDs
Adam Chlipala
2011-09-03
*
New client-side, document-level event handlers
Adam Chlipala
2011-09-03
*
Better detection of type class witnesses in local bindings
Adam Chlipala
2011-09-03
*
Gentle handling of back-button returns to pages with stale message-passing cr...
Adam Chlipala
2011-08-28
*
Warn about concurrency issues with message-passing
Adam Chlipala
2011-08-28
*
Postgres deadlock triggers unlimited retry
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 in JavaScript embedding of lists
Adam Chlipala
2011-08-15
*
Compiler frees as much memory as possible before passing control to C compiler
Adam Chlipala
2011-08-15
*
Fix list urlification
Adam Chlipala
2011-08-14
*
Remove commented-out code
Adam Chlipala
2011-08-14
*
Handle case where shakeExp can remove datatype.
Karn Kallio
2011-08-12
*
Remove some unnecessary parens
Adam Chlipala
2011-08-14
*
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
[prev]
[next]