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
*
Don't use uw_malloc() or equivalent in generating error messages while parsin...
Adam Chlipala
2014-08-15
*
Remove autogenerated config.h.in from version control
Anders Kaseorg
2013-11-22
*
Remove autogenerated files from version control
Adam Chlipala
2013-11-21
*
Adaptations to ezyang's patch
Adam Chlipala
2012-05-03
*
Update Coq semantics for 8.3pl2
Adam Chlipala
2011-11-30
*
Support the full set of XHTML character entities
Adam Chlipala
2011-11-05
*
Turn off warnings about deprecated functions, to placate silly OpenSSL change...
Adam Chlipala
2011-10-26
*
Generated pretty-printed HTML for a simple tutorial source file
Adam Chlipala
2011-07-15
*
Include config.h.in in distribution
Adam Chlipala
2010-05-29
*
Support HTTP caching of app.js
Adam Chlipala
2010-05-23
*
More fixes for NetBSD support
Adam Chlipala
2010-02-06
*
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