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
/
.hgignore
Commit message (
Expand
)
Author
Age
*
Another try to include more Autofiles in the distribution
Adam Chlipala
2010-01-30
*
First attempt to switch to Automake, to get shared libraries built in OSX
Adam Chlipala
2010-01-28
*
Using libtool to build and install liburweb*
Adam Chlipala
2010-01-26
*
Dynamic linking of the runtime system
Adam Chlipala
2009-12-27
*
Start 'more' demo with dbgrid
Adam Chlipala
2009-09-08
*
C FFI compiler options
Adam Chlipala
2009-04-30
*
Start of Featherweight Ur semantics
Adam Chlipala
2009-02-17
*
Module projection
Adam Chlipala
2008-11-29
*
Start of manual
Adam Chlipala
2008-11-27
*
Profiling in Makefile
Adam Chlipala
2008-11-25
*
Transactions seem to be working
Adam Chlipala
2008-10-24
*
Building combined demo app
Adam Chlipala
2008-10-19
*
Demo HTML generation, minus source code
Adam Chlipala
2008-10-19
*
Proper configuration and installation
Adam Chlipala
2008-10-19
*
Laconic -> Ur
Adam Chlipala
2008-08-31
*
Writing HTML
Adam Chlipala
2008-07-10
*
Initial parsing and pretty-printing
Adam Chlipala
2008-01-26
*
Initial skeleton
Adam Chlipala
2008-01-26