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
*
Fix manual mistake about '@' notations; remove obsolete demos
Adam Chlipala
2010-12-20
|
*
Remove redundant macro
Adam Chlipala
2010-12-20
|
*
Use proper string time format for SQLite
Adam Chlipala
2010-12-20
|
*
Implement constrained type kinding properly; bump mono inline threshhold
Adam Chlipala
2010-12-20
|
*
Fix manual discussion of tuple syntax
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
|
*
Restore behavior of not complaining about undetermined unification variables ↵
Adam Chlipala
2010-12-16
|
|
|
|
when there are other errors
*
Fiddly tweaks
Adam Chlipala
2010-12-16
|
*
Clarify that you aren't supposed to be able to create new XML tags
Adam Chlipala
2010-12-16
|
*
Enforce character constraints on source filenames
Adam Chlipala
2010-12-16
|
*
Small tweaks to update demos for record unification change
Adam Chlipala
2010-12-15
|
*
Smarter record unification
Adam Chlipala
2010-12-15
|
*
Allow use of path variables in strings with no slashes
Adam Chlipala
2010-12-14
|
*
Bump year on LICENSE
Adam Chlipala
2010-12-14
|
*
Better treatment of relative paths in .urp files
Adam Chlipala
2010-12-14
|
*
Moving Incl and Mem to Meta library
Adam Chlipala
2010-12-14
|
*
Fix merging of prefix settings
Adam Chlipala
2010-12-12
|
*
-prefix command-line option
Adam Chlipala
2010-12-12
|
*
Change Basis.debug to use the protocol's debug function
Adam Chlipala
2010-12-12
|
*
Warn about XHTML looseness
Adam Chlipala
2010-12-11
|
*
minHeap option in .urp files
Adam Chlipala
2010-12-11
|
*
Comments in .urp files
Adam Chlipala
2010-12-11
|
*
fix small memory leaks
Marc Weber
2010-12-05
|
*
Clarifying some C FFI details in manual
Adam Chlipala
2010-12-11
|
*
Update manual to track uw_register_transactional() change
Adam Chlipala
2010-12-04
|
*
New argument to transactional free functions, to specify whether we are ↵
Adam Chlipala
2010-12-04
|
|
|
|
about to retry
*
Instantiate any Unit unification variables that remain after elaboration
Adam Chlipala
2010-12-02
|
*
More hnorm during type class resolution
Adam Chlipala
2010-12-02
|
*
More accurate/conservative leaky type detection in CjrPrint
Adam Chlipala
2010-11-28
|
*
Fix JavaScript unit unurlification; URL blessing client-side
Adam Chlipala
2010-11-26
|
*
Fix a bug in C list unurlification
Adam Chlipala
2010-11-21
|
*
queryL1 and List.sort
Adam Chlipala
2010-11-20
|
*
In FastCGI, signal 304 with a header, not the usual HTTP/1.1 line
Adam Chlipala
2010-11-20
|
*
Fix RPC deserialization of channels
Adam Chlipala
2010-11-19
|
*
Simplify Basis.strcat calls in MonoOpt
Adam Chlipala
2010-11-19
|
*
Karn Kallio's patch for static mhash linking
Adam Chlipala
2010-11-18
|
*
More hnormKind for isUnitCon
Adam Chlipala
2010-11-13
|
*
New release
Adam Chlipala
2010-11-02
|
*
Fixes for nasty bugs in Reduce and Especialize
Adam Chlipala
2010-10-19
|
*
Monad.appR3
Adam Chlipala
2010-10-19
|
*
Monad.appR
Adam Chlipala
2010-10-19
|
*
Smarter handling of unification variables for 'kindof' on projections
Adam Chlipala
2010-10-19
|
*
Simplify type of Monad.appR2
Adam Chlipala
2010-10-17
|
*
Documenting limits
Adam Chlipala
2010-10-14
|
*
-limit for running time
Adam Chlipala
2010-10-14
|
*
Interface for setting memory limits
Adam Chlipala
2010-10-14
|
*
:::_ notation; switch to TooDeep error message
Adam Chlipala
2010-10-10
|
*
Fix infinite looping bug in Great Unification Fix
Adam Chlipala
2010-10-10
|
[next]