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
/
lib
/
ur
/
top.urs
Commit message (
Expand
)
Author
Age
*
Lighter-weight encoding of window function use
Adam Chlipala
2012-06-03
*
Track whether SQL expressions may use window functions, in preparation for ac...
Adam Chlipala
2012-06-02
*
Rename [Top.id] to avoid clash with [Basis.id]
Adam Chlipala
2011-12-29
*
top.urs: More comments
Robin Green
2011-06-28
*
Make 'ex' kind-generic
Adam Chlipala
2011-03-11
*
queryXI and queryX1I
Adam Chlipala
2011-01-20
*
Allow subqueries to reference aggregate-only columns of free tables; treat no...
Adam Chlipala
2011-01-15
*
Top.queryI1; fix definition of uw_Basis_minTime
Adam Chlipala
2010-12-24
*
[De]serialization of times in JavaScript; proper integer division in JavaScri...
Adam Chlipala
2010-12-23
*
queryL1 and List.sort
Adam Chlipala
2010-11-20
*
Subquery expressions
Adam Chlipala
2010-03-25
*
Louder jscomp; toUpper/Lower fix for JavaScript
Adam Chlipala
2010-03-04
*
Fix parsing of space-free .urp directives; use 'class' for 'c*' tags
Adam Chlipala
2010-02-28
*
Changing foldRX to mapX
Adam Chlipala
2010-02-28
*
Proper 404 generation
Adam Chlipala
2010-01-02
*
Make summary unification more conservative; infer implicit arguments after ap...
Adam Chlipala
2009-12-26
*
Basis.sql_nullable and Top.queryL
Adam Chlipala
2009-12-22
*
Allow same constructor shorthand for 'view' sig items as for 'table'
Adam Chlipala
2009-12-15
*
Fixing a bug in DInitializer elaboration
Adam Chlipala
2009-12-13
*
Weakening-type coercions for SQL values
Adam Chlipala
2009-12-13
*
Make oneRowE1 more general
Adam Chlipala
2009-12-10
*
Saving paper decisions
Adam Chlipala
2009-11-07
*
Checking deadline; sign-in
Adam Chlipala
2009-10-22
*
Start of user management
Adam Chlipala
2009-10-20
*
Registering for Conference1
Adam Chlipala
2009-10-20
*
SELECT DISTINCT; eta expansion during Cjrization
Adam Chlipala
2009-10-06
*
Summary row with aggregates
Adam Chlipala
2009-09-15
*
grid1 compiles but gets stuck in JS
Adam Chlipala
2009-08-25
*
Library improvements; proper list [un]urlification; remove server-side Server...
Adam Chlipala
2009-08-09
*
Working on Grid; have gone from one dynamic table bizareness to another
Adam Chlipala
2009-07-19
*
outer demo
Adam Chlipala
2009-05-03
*
Stop tracking CSS classes in XML types
Adam Chlipala
2009-04-12
*
hello compiles with CSS
Adam Chlipala
2009-04-12
*
Chat demo
Adam Chlipala
2009-04-05
*
Redo channels, making them single-client
Adam Chlipala
2009-03-29
*
Change location/type of [fold] to be more uniform w.r.t. derived folders
Adam Chlipala
2009-03-12
*
BatchG demo
Adam Chlipala
2009-03-10
*
Avoid any JavaScript when pages don't need it; update demo prose
Adam Chlipala
2009-03-10
*
Kind-polymorphic [fst] and friends
Adam Chlipala
2009-02-26
*
Demos compile again, with manual folders
Adam Chlipala
2009-02-24
*
Make folders abstract
Adam Chlipala
2009-02-24
*
Top.Fold.mp
Adam Chlipala
2009-02-24
*
Top.Fold.concat elaborates
Adam Chlipala
2009-02-24
*
Switch to TDisjoint from CDisjoint; still need to implement obligation genera...
Adam Chlipala
2009-02-24
*
demo/sum working with manual folders
Adam Chlipala
2009-02-22
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ...
Adam Chlipala
2009-02-22
*
"Hello world" compiles, after replacing type-level fold with map
Adam Chlipala
2009-02-21
*
Combine lib* directories
Adam Chlipala
2009-01-13