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
...
|
*
Implicit records of folders
Adam Chlipala
2012-05-17
|
/
*
Be more conservative in choosing candidates for Especialize, re: mutual recur...
Adam Chlipala
2012-05-17
*
Vector fonts in manual
Vladimir Shabanov
2012-05-17
*
Speed up space eating in MonoOpt
Vladimir Shabanov
2012-05-17
*
Allow RPC and run it synchronously in onunload event.
Vladimir Shabanov
2012-05-16
*
Lance Hepler's fix to configure.ac; small refactor of fastcgi.c to avoid unde...
Adam Chlipala
2012-05-13
*
Fix hyphenation for demos; parse CSS class 'table' as 'tabl'
Adam Chlipala
2012-05-13
*
Automake 1.12 compatibility, based on suggestions by Lance Hepler
Adam Chlipala
2012-05-12
*
Return to working version mode
Adam Chlipala
2012-05-12
*
New release
Adam Chlipala
2012-05-12
*
In incremental elaboration, handle invalidated FFI signatures
Adam Chlipala
2012-05-09
*
Fix manual's grammar for subquery FROM items
Adam Chlipala
2012-05-07
*
Run-time CSS style validation
Adam Chlipala
2012-05-06
*
Fix bugs in support for 'style' and 'dynStyle'
Adam Chlipala
2012-05-06
*
Clarify need for 'prefix' for FastCGI
Adam Chlipala
2012-05-06
*
New optional suffice for 'rewrite' in .urp files: [-]
Adam Chlipala
2012-05-06
*
'dynStyle' pseudo-attribute
Adam Chlipala
2012-05-06
*
'style' attributes
Adam Chlipala
2012-05-06
*
Simplify type of Basis.tag, regarding 'class' attribute; new compatibility pa...
Adam Chlipala
2012-05-06
*
Fix from Edward Yang to generation of 404 errors in FastCGI
Adam Chlipala
2012-05-06
*
Adjust error message format to match Emacs defaults
Adam Chlipala
2012-05-05
*
Fix bug in installation of source files to proper directories
Adam Chlipala
2012-05-05
*
-dumpTypesOnError
Adam Chlipala
2012-05-05
*
Send daemon output to calling process
Adam Chlipala
2012-05-05
*
Report which files lead to duplicate module names
Adam Chlipala
2012-05-04
*
More diagnostic information about some type class resolution failures
Adam Chlipala
2012-05-04
*
Reinitialize lexer state properly
Adam Chlipala
2012-05-04
*
Adaptations to ezyang's patch
Adam Chlipala
2012-05-03
*
Add support for -boot flag, which allows in-tree execution of Ur/Web
Edward Z. Yang
2012-05-02
*
Catch duplicate top-level module names; fix dropping of constraints during in...
Adam Chlipala
2012-05-03
*
Don't modify the module cache after elaboration failures
Adam Chlipala
2012-05-02
*
Better discovery of type class instances from recursive definitions
Adam Chlipala
2012-05-02
*
In simplifying constructors for error messages, unfold constructor synonyms f...
Adam Chlipala
2012-05-02
*
Fix generation of normal datatypes from polymorphic variants
Adam Chlipala
2012-04-29
*
'urweb daemon start' and 'urweb daemon stop'
Adam Chlipala
2012-04-29
*
Initial support for reusing elaboration results
Adam Chlipala
2012-04-29
*
Include JavaScript files properly in error handler pages
Adam Chlipala
2012-04-28
*
Fix urlification of recursive polymorphic variants
Adam Chlipala
2012-04-28
*
Avoid generating empty <script> tags
Adam Chlipala
2012-04-27
*
Ensure proper ordering of <script> execution, to bring identifiers into scope...
Adam Chlipala
2012-04-27
*
Omit unnecessary parens around arrows in pretty-printing
Adam Chlipala
2012-04-27
*
Removed excess zero byte from empty pages.
Vladimir Shabanov
2012-04-25
*
'linker' .urp directive
Adam Chlipala
2012-04-22
*
Another test for cancelation in error messages
Adam Chlipala
2012-04-22
*
-unifyMore
Adam Chlipala
2012-04-22
*
Antiquote for PRIMARY KEY
Adam Chlipala
2012-04-21
*
Omit 'Basis.' in pretty-printing constructors, where this is unambiguous
Adam Chlipala
2012-04-21
*
Pretty-print tuple types using tuple syntax
Adam Chlipala
2012-04-21
*
Saving proper environments, to use in displaying nested error messages
Adam Chlipala
2012-04-21
*
Add another rule to simplify record concatenations for pretty-printing
Adam Chlipala
2012-04-21
[prev]
[next]