log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log lib/basis.urs
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
age
author
description
2008-10-21
Adam Chlipala
ord_float and ord_bool
2008-10-21
Adam Chlipala
lt, le working for int
2008-10-21
Adam Chlipala
num_float
2008-10-21
Adam Chlipala
num working for int
2008-10-14
Adam Chlipala
lform -> form
2008-10-12
Adam Chlipala
Basis and Top syntax-highlight, indent, parse, and type-check
2008-10-12
Adam Chlipala
Basis indents and type-checks with new twiddle syntax
2008-10-04
Adam Chlipala
Use checkbox in CRUD example
2008-10-04
Adam Chlipala
Merge CDisjoint and TDisjoint
2008-09-14
Adam Chlipala
Crud completed
2008-09-14
Adam Chlipala
Crud update form
2008-09-14
Adam Chlipala
Crud supports INSERT
2008-09-14
Adam Chlipala
SQL sequences
2008-09-13
Adam Chlipala
foldTRX2
2008-09-11
Adam Chlipala
Crud list works
2008-09-11
Adam Chlipala
Crud listing IDs
2008-09-07
Adam Chlipala
Scratch that change....
2008-09-07
Adam Chlipala
Remove need to mention table name in expressions for UPDATE and DELETE
2008-09-07
Adam Chlipala
Parsing UPDATE
2008-09-07
Adam Chlipala
Parsing INSERT
2008-09-07
Adam Chlipala
Elaborated 'update'
2008-09-07
Adam Chlipala
Elaborated 'insert'
2008-09-07
Adam Chlipala
Error-parsing ints
2008-09-07
Adam Chlipala
'read' type class
2008-09-07
Adam Chlipala
Parsing strings for floats and bools
2008-09-07
Adam Chlipala
Converting string to int
2008-09-07
Adam Chlipala
'show' type class; htmlification optimizations
2008-09-07
Adam Chlipala
toString for float and bool
2008-09-07
Adam Chlipala
intToString
2008-09-07
Adam Chlipala
'error' function
2008-09-02
Adam Chlipala
Compiling a parametrized query the inefficient way
2008-08-31
Adam Chlipala
Monoize ASC/DESC
2008-08-31
Adam Chlipala
Monoize relops
2008-08-31
Adam Chlipala
Add 'ne' to 'eq' type class
2008-08-31
Adam Chlipala
'eq' type class
2008-08-31
Adam Chlipala
Monoized a WHERE clause with a comparison
2008-08-31
Adam Chlipala
Monoized and optimized initial query test
2008-08-31
Adam Chlipala
Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type
2008-08-31
Adam Chlipala
Laconic -> Ur
base
lib/basis.lig@4fadbb57b5e0
less
more
|
(0)
tip