log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log .hgignore
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
-15
tip
age
author
description
2011-11-30
Adam Chlipala
Update Coq semantics for 8.3pl2
2011-11-05
Adam Chlipala
Support the full set of XHTML character entities
2011-10-26
Adam Chlipala
Turn off warnings about deprecated functions, to placate silly OpenSSL change for OS X
2011-07-15
Adam Chlipala
Generated pretty-printed HTML for a simple tutorial source file
2010-05-29
Adam Chlipala
Include config.h.in in distribution
2010-05-23
Adam Chlipala
Support HTTP caching of app.js
2010-02-07
Adam Chlipala
More fixes for NetBSD support
2010-01-30
Adam Chlipala
Another try to include more Autofiles in the distribution
2010-01-28
Adam Chlipala
First attempt to switch to Automake, to get shared libraries built in OSX
2010-01-26
Adam Chlipala
Using libtool to build and install liburweb*
2009-12-27
Adam Chlipala
Dynamic linking of the runtime system
2009-09-08
Adam Chlipala
Start 'more' demo with dbgrid
2009-04-30
Adam Chlipala
C FFI compiler options
2009-02-17
Adam Chlipala
Start of Featherweight Ur semantics
2008-11-29
Adam Chlipala
Module projection
less
more
|
(0)
-15
tip