Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Release for unstable | Benjamin Barenblat | 2015-04-05 |
| | |||
* | Rewrite emacsen files from dh-make templates | Benjamin Barenblat | 2015-04-05 |
| | |||
* | Relicense packaging under Apache-2 | Benjamin Barenblat | 2015-04-05 |
| | |||
* | urweb: Pre-Depend on ${misc:Pre-Depends} | Benjamin Barenblat | 2015-03-17 |
| | | | | | | | urweb installs data into /usr/lib/${DEB_HOST_MULTIARCH}, so it needs to Pre-Depend on this. Thanks to Anders Kaseorg <andersk@mit.edu> for pointing this out to me. | ||
* | urweb: Depend on development libraries | Benjamin Barenblat | 2015-03-10 |
| | | | | | The urweb compiler tries to link generated executables against a number of development libraries, so we better include those as Depends. | ||
* | urweb-mode: Create emacsen-compat file | Benjamin Barenblat | 2015-03-10 |
| | |||
* | Use letter paper for reference manual | Benjamin Barenblat | 2015-03-10 |
| | |||
* | Package urweb-mode | Benjamin Barenblat | 2015-03-10 |
| | |||
* | Fix Recommends priority | Benjamin Barenblat | 2015-03-10 |
| | |||
* | Make multiarch aware | Benjamin Barenblat | 2015-03-10 |
| | |||
* | Create doc package | Benjamin Barenblat | 2015-03-10 |
| | |||
* | Edit package blurbs | Benjamin Barenblat | 2015-03-10 |
| | |||
* | Harden ML executable | Benjamin Barenblat | 2015-03-10 |
| | |||
* | Harden build | Benjamin Barenblat | 2015-03-10 |
| | |||
* | Add .symbols files | Benjamin Barenblat | 2015-03-10 |
| | |||
* | Fix Lintian debian-watch-file-should-mangle-version | Benjamin Barenblat | 2015-03-10 |
| | |||
* | Start packaging urweb | Benjamin Barenblat | 2015-03-09 |
| | | | | Documentation and Emacs files are not generated yet. | ||
* | Make DFSG-clean20150214+dfsg | Benjamin Barenblat | 2015-03-09 |
| | |||
* | New release | Adam Chlipala | 2015-02-14 |
| | |||
* | The 2nd half of proper CSRF protection related to environment variables | Adam Chlipala | 2015-02-12 |
| | |||
* | An Emacs urweb-mode optimization contributed by John Wiegley | Adam Chlipala | 2015-02-11 |
| | |||
* | Merge | Adam Chlipala | 2015-02-10 |
|\ | |||
* | | Fix resolution of 'file' paths | Adam Chlipala | 2015-02-10 |
| | | |||
| * | Treat getHeader and getenv as vectors for reading request data supplied ↵ | Adam Chlipala | 2015-02-05 |
|/ | | | | implicitly by browsers | ||
* | Don't allow singleton <button> tags | Adam Chlipala | 2015-02-01 |
| | |||
* | A new MonoReduce optimization for lifting 'let' out of field projection; ↵ | Adam Chlipala | 2015-02-01 |
| | | | | JavaScript compilation for exponentiation | ||
* | Improve wildification for records of type-class witnesses | Adam Chlipala | 2015-01-28 |
| | |||
* | Fix case issue in name mangling for MySQL | Adam Chlipala | 2015-01-22 |
| | |||
* | Reference manual: fix rendering of field removal operators | Adam Chlipala | 2015-01-22 |
| | |||
* | Fix a potential memory bug in fastcgi.c | Adam Chlipala | 2015-01-22 |
| | |||
* | Fix silly mistake from last commit; also switch away from rand() in openssl.c | Adam Chlipala | 2015-01-22 |
| | |||
* | Switch to using OpenSSL PRNG for the one remaining rand() | Adam Chlipala | 2015-01-12 |
| | |||
* | Fix arguments to PQprepare() | Adam Chlipala | 2015-01-07 |
| | |||
* | Return to working version mode | Adam Chlipala | 2015-01-03 |
| | |||
* | Fixing one small issue with changes to signature matching (grandfathered ↵ | Adam Chlipala | 2015-01-03 |
| | | | | into release) | ||
* | New release | Adam Chlipala | 2015-01-03 |
| | |||
* | Fix a bug in subsignature checking for submodules | Adam Chlipala | 2014-12-30 |
| | |||
* | Add to .hgignore | Adam Chlipala | 2014-12-26 |
| | |||
* | Client-side conversion of string to bool | Adam Chlipala | 2014-12-25 |
| | |||
* | Broaden handling of wildcard rewrites | Adam Chlipala | 2014-12-24 |
| | |||
* | List.mem | Adam Chlipala | 2014-12-23 |
| | |||
* | Improve wildify heuristic for finding record type-class witnesses | Adam Chlipala | 2014-12-23 |
| | |||
* | New antiquote syntax for ORDER BY | Adam Chlipala | 2014-12-23 |
| | |||
* | Another try at a proper fix for constraint matching in subsignature checking | Adam Chlipala | 2014-12-23 |
| | |||
* | Compatibility fix in header file | Adam Chlipala | 2014-12-21 |
| | |||
* | Fix XML syntax for closing <input> tags | Adam Chlipala | 2014-12-18 |
| | |||
* | Return to working version mode | Adam Chlipala | 2014-12-06 |
| | |||
* | New release | Adam Chlipala | 2014-12-06 |
| | |||
* | Move code from last changeset, to improve performance | Adam Chlipala | 2014-12-05 |
| | |||
* | In checking signature subsumption, be sure to try constraints last. | Adam Chlipala | 2014-12-04 |
| |