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
/
mono_print.sml
Commit message (
Expand
)
Author
Age
*
Redo Jscomp
Adam Chlipala
2009-05-17
*
Mutual datatypes through Pathcheck
Adam Chlipala
2009-05-16
*
Basis.list
Adam Chlipala
2009-04-30
*
A view query works
Adam Chlipala
2009-04-28
*
Returning a blob as page result
Adam Chlipala
2009-04-26
*
Cookie signatures for RPCs
Adam Chlipala
2009-04-23
*
Effectness analysis
Adam Chlipala
2009-04-16
*
Catching duplicate cookie and style paths
Adam Chlipala
2009-04-16
*
Stop tracking CSS classes in XML types
Adam Chlipala
2009-04-12
*
style declarations
Adam Chlipala
2009-04-12
*
PRIMARY KEY
Adam Chlipala
2009-04-07
*
UNIQUE constraints
Adam Chlipala
2009-04-07
*
sleep and better Scriptcheck
Adam Chlipala
2009-04-04
*
On start-up, delete/nullify rows mentioning clients or channels
Adam Chlipala
2009-04-02
*
Expunging non-nullable rows
Adam Chlipala
2009-03-29
*
Proper recv
Adam Chlipala
2009-03-22
*
Parameterized RPC query
Adam Chlipala
2009-02-15
*
First gimpy RPC
Adam Chlipala
2009-02-15
*
Export RPC functions and push RPC calls through to Mono
Adam Chlipala
2009-02-15
*
Injecting a float
Adam Chlipala
2009-01-01
*
Harmonized source-setting between server and client
Adam Chlipala
2008-12-30
*
Setting a source server-side
Adam Chlipala
2008-12-30
*
Trivial use of a source
Adam Chlipala
2008-12-21
*
Handling singnal bind
Adam Chlipala
2008-12-21
*
Successfully generated a page element from a signal
Adam Chlipala
2008-12-20
*
Initial <dyn> support
Adam Chlipala
2008-12-20
*
Displayed an alert dialog
Adam Chlipala
2008-12-19
*
Reading cookies works
Adam Chlipala
2008-11-06
*
Binops; equality tested on int; lame 404 substitute
Adam Chlipala
2008-10-21
*
SQL sequences
Adam Chlipala
2008-09-14
*
Optimize immediate writes of query results
Adam Chlipala
2008-09-13
*
First INSERT works
Adam Chlipala
2008-09-07
*
pquery working with all four types of columns
Adam Chlipala
2008-09-07
*
Error-parsing ints
Adam Chlipala
2008-09-07
*
'read' type class
Adam Chlipala
2008-09-07
*
Converting string to int
Adam Chlipala
2008-09-07
*
'error' function
Adam Chlipala
2008-09-07
*
Table declarations pushed to Cjr
Adam Chlipala
2008-09-02
*
'database' declaration threaded through compiler
Adam Chlipala
2008-09-02
*
Monoized and optimized initial query test
Adam Chlipala
2008-08-31
*
Monoize transaction identifiers; improve disjointness prover on irreducible f...
Adam Chlipala
2008-08-31
*
Laconic -> Ur
Adam Chlipala
2008-08-31
*
Lists all the way through
Adam Chlipala
2008-08-09
*
Datatype representation optimization
Adam Chlipala
2008-08-03
*
bool in Basis
Adam Chlipala
2008-08-03
*
FFI datatypes
Adam Chlipala
2008-08-03
*
Optimizing 'case' in Mono_reduce
Adam Chlipala
2008-08-03
*
Compiled pattern matching to C
Adam Chlipala
2008-08-03
*
Cases through monoize
Adam Chlipala
2008-08-03
*
First part of getting cases through monoize
Adam Chlipala
2008-08-03
[next]