index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Allow building in a separate build directory
Anders Kaseorg
2013-11-22
*
Remove autogenerated config.h.in from version control
Anders Kaseorg
2013-11-22
*
xml/parse: Accept entity files on the command line
Anders Kaseorg
2013-11-22
*
Add autogen.sh
Adam Chlipala
2013-11-21
*
Switch back to working version mode
Adam Chlipala
2013-11-21
*
Remove autogenerated files from version control
Adam Chlipala
2013-11-21
*
Add bin to EXTRA_DIST
Adam Chlipala
2013-11-21
*
Add src/c/*.h to EXTRA_DIST
Adam Chlipala
2013-11-21
*
Add more include files to EXTRA_DIST
Adam Chlipala
2013-11-21
*
Some more EXTRA_DIST
Adam Chlipala
2013-11-21
*
Getting more specific about 'src' in EXTRA_DIST
Adam Chlipala
2013-11-21
*
Experimenting with distribution via 'make dist', to allow deletion of autogen...
Adam Chlipala
2013-11-21
*
Regenerate Makefile.in
Adam Chlipala
2013-11-21
*
compileC: Link libraries in the right order
Anders Kaseorg
2013-11-21
*
Add missing inter-library dependencies
Anders Kaseorg
2013-11-21
*
Manual: add a pointer to background reading on inference rule notation
Adam Chlipala
2013-11-17
*
Fix more of client-side error handlers
Adam Chlipala
2013-11-14
*
Fix regression in execution of 'onError' handlers
Adam Chlipala
2013-11-14
*
Identify more local definitions as functions that should be lifted to the top...
Adam Chlipala
2013-11-05
*
A fancier test for the new SQL constraints subtyping
Adam Chlipala
2013-11-04
*
Interpret 'table' signature items more flexibly, automatically adding (Ur) co...
Adam Chlipala
2013-11-04
*
Rename ListPair.map2 to ListPair.mp
Adam Chlipala
2013-11-04
*
ListPair.map2, based on code by escalier@riseup.net
Adam Chlipala
2013-11-03
*
Save disjointness environments across top-level declarations
Adam Chlipala
2013-10-17
*
Change Pthread thread creation logic to avoid Cygwin limitations with setting...
Adam Chlipala
2013-10-14
*
New header file scheme to support FFI code in either of C or C++ [based on su...
Adam Chlipala
2013-10-11
*
Remove uw_cutErrorLocation() hijinks
Adam Chlipala
2013-10-10
*
Remove debug prints
Adam Chlipala
2013-10-10
*
Make transactional FFI functions effectful by default
Adam Chlipala
2013-10-10
*
Take proper account of signatures changing during page generation
Adam Chlipala
2013-10-10
*
Add <dl> <dt> <dd> tags
Sergey Mironov
2013-10-07
*
Manual entries for -ccompiler and -print-ccompiler
Adam Chlipala
2013-10-10
*
Add xhead type
Sergey Mironov
2013-10-07
*
Add <em> and <strong> tags
Sergey Mironov
2013-10-07
*
Add -print-ccompiler command line option
Sergey Mironov
2013-09-18
*
Add -ccompiler command line argument
Sergey Mironov
2013-08-20
*
Add monoize case for 'dml' type
Adam Chlipala
2013-10-01
*
Detect more SQL uses without 'database' directive
Adam Chlipala
2013-09-30
*
Get -root working properly again
Adam Chlipala
2013-09-26
*
Tweak Sergey's patch to work with Postgres
Adam Chlipala
2013-09-13
*
Add hex SQL syntax for blobs, such as X'0ABC12343'. Works with sqlite.
Sergey Mironov
2013-09-13
*
Potentially exponential search through where to head-normalize in [decompileCon]
Adam Chlipala
2013-08-19
*
Allow [where con] to descend within submodule structure; open submodule const...
Adam Chlipala
2013-08-19
*
Expand coverage of 'functionInside' for Especialize
Adam Chlipala
2013-08-10
*
Add 'rel' attribute to <a>
Adam Chlipala
2013-08-09
*
Extend Especialize rule: find maximal argument prefixes that end in 1 or more...
Adam Chlipala
2013-08-09
*
Make that error message even more helpful
Adam Chlipala
2013-07-17
*
Make that new error message text a bit more accurate
Adam Chlipala
2013-07-17
*
Tweak error message about naughty GET handlers
Adam Chlipala
2013-07-17
*
Postgres unicode printing fix from Artyom Shalkhakov
Adam Chlipala
2013-07-17
[next]