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
*
postBody type
Adam Chlipala
2010-12-18
*
Restore behavior of not complaining about undetermined unification variables ...
Adam Chlipala
2010-12-16
*
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 about...
Adam Chlipala
2010-12-04
*
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
*
Tweaking unification fix to apply to demo/more
Adam Chlipala
2010-10-10
*
Hopeful fix for the Great Unification Bug
Adam Chlipala
2010-10-10
*
Flex kinds for type-level tuples; ::_ notation
Adam Chlipala
2010-10-10
*
Demo improvements
Adam Chlipala
2010-09-30
*
Mention empty-third-field 'rewrite' directives
Adam Chlipala
2010-09-30
*
Fix typing of cut operators; fix lexing of XML comments
Adam Chlipala
2010-09-16
*
Support empty datatypes, which can now be generated via 'variant []'
Adam Chlipala
2010-09-09
[next]