Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Proper error messages for missing source files | Adam Chlipala | 2012-05-26 |
| | |||
* | Return to working version mode | Adam Chlipala | 2012-05-19 |
| | |||
* | New release | Adam Chlipala | 2012-05-19 |
| | |||
* | More manual detail on registering error handlers | Adam Chlipala | 2012-05-19 |
| | |||
* | Merge | Adam Chlipala | 2012-05-19 |
|\ | |||
* | | Some standard library additions from Edward Z. Yang | Adam Chlipala | 2012-05-19 |
| | | |||
| * | Implicit records of folders | Adam Chlipala | 2012-05-17 |
|/ | |||
* | Be more conservative in choosing candidates for Especialize, re: mutual ↵ | Adam Chlipala | 2012-05-17 |
| | | | | recursion | ||
* | Vector fonts in manual | Vladimir Shabanov | 2012-05-17 |
| | |||
* | Speed up space eating in MonoOpt | Vladimir Shabanov | 2012-05-17 |
| | |||
* | Allow RPC and run it synchronously in onunload event. | Vladimir Shabanov | 2012-05-16 |
| | |||
* | Lance Hepler's fix to configure.ac; small refactor of fastcgi.c to avoid ↵ | Adam Chlipala | 2012-05-13 |
| | | | | undefined behavior | ||
* | Fix hyphenation for demos; parse CSS class 'table' as 'tabl' | Adam Chlipala | 2012-05-13 |
| | |||
* | Automake 1.12 compatibility, based on suggestions by Lance Hepler | Adam Chlipala | 2012-05-12 |
| | |||
* | Return to working version mode | Adam Chlipala | 2012-05-12 |
| | |||
* | New release | Adam Chlipala | 2012-05-12 |
| | |||
* | In incremental elaboration, handle invalidated FFI signatures | Adam Chlipala | 2012-05-09 |
| | |||
* | Fix manual's grammar for subquery FROM items | Adam Chlipala | 2012-05-07 |
| | |||
* | Run-time CSS style validation | Adam Chlipala | 2012-05-06 |
| | |||
* | Fix bugs in support for 'style' and 'dynStyle' | Adam Chlipala | 2012-05-06 |
| | |||
* | Clarify need for 'prefix' for FastCGI | Adam Chlipala | 2012-05-06 |
| | |||
* | New optional suffice for 'rewrite' in .urp files: [-] | Adam Chlipala | 2012-05-06 |
| | |||
* | 'dynStyle' pseudo-attribute | Adam Chlipala | 2012-05-06 |
| | |||
* | 'style' attributes | Adam Chlipala | 2012-05-06 |
| | |||
* | Simplify type of Basis.tag, regarding 'class' attribute; new compatibility ↵ | Adam Chlipala | 2012-05-06 |
| | | | | parsing of 'class' values given as string literals | ||
* | Fix from Edward Yang to generation of 404 errors in FastCGI | Adam Chlipala | 2012-05-06 |
| | |||
* | Adjust error message format to match Emacs defaults | Adam Chlipala | 2012-05-05 |
| | |||
* | Fix bug in installation of source files to proper directories | Adam Chlipala | 2012-05-05 |
| | |||
* | -dumpTypesOnError | Adam Chlipala | 2012-05-05 |
| | |||
* | Send daemon output to calling process | Adam Chlipala | 2012-05-05 |
| | |||
* | Report which files lead to duplicate module names | Adam Chlipala | 2012-05-04 |
| | |||
* | More diagnostic information about some type class resolution failures | Adam Chlipala | 2012-05-04 |
| | |||
* | Reinitialize lexer state properly | Adam Chlipala | 2012-05-04 |
| | |||
* | Adaptations to ezyang's patch | Adam Chlipala | 2012-05-03 |
| | |||
* | Add support for -boot flag, which allows in-tree execution of Ur/Web | Edward Z. Yang | 2012-05-02 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | The boot flag rewrites most hardcoded paths to point to the build directory, and also forces static compilation. This is convenient for developing Ur/Web, or if you cannot 'sudo make install' Ur/Web. The following changes were made: * Header files were moved to include/urweb instead of include; this lets FFI users point their C_INCLUDE_PATH at this directory at write <urweb/urweb.h>. For internal Ur/Web executables, we simply pass -I$PATH/include/urweb as normal. * Differentiate between LIB and SRCLIB; SRCLIB is Ur and JavaScript source files, while LIB is compiled products from libtool. For in-tree compilation these live in different places. * No longer reference Config for paths; instead use Settings; these settings can be changed dynamically by Compiler.enableBoot () (TODO: add a disableBoot function.) * config.h is now generated directly in include/urweb/config.h, for consistency's sake (especially since it gets installed along with the rest of the headers!) * All of the autotools build products got updated. * The linkStatic field in protocols now only contains the name of the build product, and not the absolute path. Future users have to be careful not to reference the Settings files to early, lest they get an old version (this was the source of two bugs during development of this patch.) | ||
* | Catch duplicate top-level module names; fix dropping of constraints during ↵ | Adam Chlipala | 2012-05-03 |
| | | | | incremental elaboration; document treatment of record types as type class instance types | ||
* | Don't modify the module cache after elaboration failures | Adam Chlipala | 2012-05-02 |
| | |||
* | Better discovery of type class instances from recursive definitions | Adam Chlipala | 2012-05-02 |
| | |||
* | In simplifying constructors for error messages, unfold constructor synonyms ↵ | Adam Chlipala | 2012-05-02 |
| | | | | from modules | ||
* | Fix generation of normal datatypes from polymorphic variants | Adam Chlipala | 2012-04-29 |
| | |||
* | 'urweb daemon start' and 'urweb daemon stop' | Adam Chlipala | 2012-04-29 |
| | |||
* | Initial support for reusing elaboration results | Adam Chlipala | 2012-04-29 |
| | |||
* | Include JavaScript files properly in error handler pages | Adam Chlipala | 2012-04-28 |
| | |||
* | Fix urlification of recursive polymorphic variants | Adam Chlipala | 2012-04-28 |
| | |||
* | Avoid generating empty <script> tags | Adam Chlipala | 2012-04-27 |
| | |||
* | Ensure proper ordering of <script> execution, to bring identifiers into ↵ | Adam Chlipala | 2012-04-27 |
| | | | | scope in time | ||
* | Omit unnecessary parens around arrows in pretty-printing | Adam Chlipala | 2012-04-27 |
| | |||
* | Removed excess zero byte from empty pages. | Vladimir Shabanov | 2012-04-25 |
| | | | | Zero byte sometimes breaks http tunneling in Safari. Empty page is a "Not Modified" response for app.js | ||
* | 'linker' .urp directive | Adam Chlipala | 2012-04-22 |
| | |||
* | Another test for cancelation in error messages | Adam Chlipala | 2012-04-22 |
| |