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
*
Fill in more types during closure conversion
Adam Chlipala
2008-07-10
*
Simplify HTML examples, until the dispatching is ready
Adam Chlipala
2008-07-03
*
Monoizing joins and tags
Adam Chlipala
2008-07-03
*
Monoizing cdata
Adam Chlipala
2008-07-03
*
More fun with HTML
Adam Chlipala
2008-07-03
*
XML tags with contents
Adam Chlipala
2008-07-03
*
Basic XML stuff
Adam Chlipala
2008-07-03
*
Fancier head normalization pushed inside of Disjoint
Adam Chlipala
2008-07-03
*
Tested constraints through functors
Adam Chlipala
2008-07-01
*
Constraints in modules
Adam Chlipala
2008-07-01
*
Push KUnit and CUnit through the phases
Adam Chlipala
2008-07-01
*
More with disjointness assumptions
Adam Chlipala
2008-07-01
*
Disjointness assumptions in expressions
Adam Chlipala
2008-07-01
*
Disjointness assumptions
Adam Chlipala
2008-07-01
*
Threading disjointness conditions through Elaborate
Adam Chlipala
2008-07-01
*
Initial disjointness prover
Adam Chlipala
2008-07-01
*
More hardcore unification
Adam Chlipala
2008-06-29
*
Implicit structure members
Adam Chlipala
2008-06-29
*
Another test of broad unification
Adam Chlipala
2008-06-29
*
Broaden unification context
Adam Chlipala
2008-06-29
*
Folding through a functor
Adam Chlipala
2008-06-26
*
Reduce efold
Adam Chlipala
2008-06-26
*
Corify efold
Adam Chlipala
2008-06-26
*
Elaborate efold
Adam Chlipala
2008-06-26
*
Cjrize cfold
Adam Chlipala
2008-06-26
*
Elaborating cfold
Adam Chlipala
2008-06-26
*
Proper subsignaturing for sub-structures
Adam Chlipala
2008-06-26
*
Proper subsignaturing for sub-signatures
Adam Chlipala
2008-06-26
*
Proper hiding of shadowed bindings in principal signatures
Adam Chlipala
2008-06-26
*
Signature duplicate entry checking for principal signatures
Adam Chlipala
2008-06-22
*
Signature duplicate entry checking
Adam Chlipala
2008-06-22
*
open
Adam Chlipala
2008-06-22
*
Subsignatures example
Adam Chlipala
2008-06-22
*
include
Adam Chlipala
2008-06-22
*
Separate compilation and automatic basis importation
Adam Chlipala
2008-06-22
*
Parsing signature files
Adam Chlipala
2008-06-22
*
Lexer/parser hacks to share code between regular and signature file parsers
Adam Chlipala
2008-06-22
*
Better FFI function handling
Adam Chlipala
2008-06-22
*
Detecting FFI functions
Adam Chlipala
2008-06-22
*
Start of FFI
Adam Chlipala
2008-06-22
*
Give functor.lac a 'main'
Adam Chlipala
2008-06-19
*
Corifying functors
Adam Chlipala
2008-06-19
*
Elaborating functor applications
Adam Chlipala
2008-06-19
*
Subtyping for functor signatures
Adam Chlipala
2008-06-19
*
Elaborating 'where'
Adam Chlipala
2008-06-19
*
Beginning of functor elaboration
Adam Chlipala
2008-06-19
*
Functor parsing
Adam Chlipala
2008-06-19
*
Corify removes modules
Adam Chlipala
2008-06-19
*
Beefier nested selfification test
Adam Chlipala
2008-06-17
*
Nested selfification test
Adam Chlipala
2008-06-17
[next]