debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Manual: add a pointer to background reading on inference rule notation	Adam Chlipala	2013-11-17
\|
*	New header file scheme to support FFI code in either of C or C++ [based on ↵	Adam Chlipala	2013-10-11
\| \| \| \|	suggestion by Ron de Bruijn]
*	Make transactional FFI functions effectful by default	Adam Chlipala	2013-10-10
\|
*	Manual entries for -ccompiler and -print-ccompiler	Adam Chlipala	2013-10-10
\|
*	Plugging some gaps in the manual	Adam Chlipala	2013-04-21
\|
*	Basis.tryRpc	Adam Chlipala	2013-04-16
\|
*	Manual: Reveal JavaScript representation of transaction type family	Adam Chlipala	2013-03-12
\|
*	Allow any FFI module to declare new HTML tags	Adam Chlipala	2012-11-28
\|
*	Manual addition for last changeset	Adam Chlipala	2012-09-04
\|
*	Update tutorial for Ur/Web changes	Adam Chlipala	2012-09-03
\|
*	Basis.getenv	Adam Chlipala	2012-08-02
\|
*	Remove 'class' declaration; now use 'con' instead	Adam Chlipala	2012-07-29
\|
*	Top.postFields	Adam Chlipala	2012-07-21
\|
*	<active>	Adam Chlipala	2012-07-21
\|
*	Basis.giveFocus	Adam Chlipala	2012-07-21
\|
*	New event records for key and mouse handlers	Adam Chlipala	2012-07-21
\|
*	Lighter-weight encoding of window function use	Adam Chlipala	2012-06-03
\|
*	Partitioning and ordering for window functions	Adam Chlipala	2012-06-02
\|
*	Track whether SQL expressions may use window functions, in preparation for ↵	Adam Chlipala	2012-06-02
\| \| \| \|	actual window function support
*	More manual detail on registering error handlers	Adam Chlipala	2012-05-19
\|
*	Vector fonts in manual	Vladimir Shabanov	2012-05-17
\|
*	Fix manual's grammar for subquery FROM items	Adam Chlipala	2012-05-07
\|
*	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
*	-dumpTypesOnError	Adam Chlipala	2012-05-05
\|
*	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
*	'urweb daemon start' and 'urweb daemon stop'	Adam Chlipala	2012-04-29
\|
*	'linker' .urp directive	Adam Chlipala	2012-04-22
\|
*	-unifyMore	Adam Chlipala	2012-04-22
\|
*	Antiquote for PRIMARY KEY	Adam Chlipala	2012-04-21
\|
*	New JavaScript FFI function: setInnerHTML	Adam Chlipala	2012-03-14
\|
*	Clarify necessity of 'effectful' in the manual	Adam Chlipala	2012-03-13
\|
*	New release	Adam Chlipala	2012-03-10
\|
*	Correct an SQL grammar omission (thanks to Alexei Golovko for spotting the ↵	Adam Chlipala	2012-02-25
\| \| \| \|	problem)
*	Update manual to fix lexical table and clarify sequencing notation	Adam Chlipala	2012-02-18
\|
*	Mention FFI encoding of abstract syntax types	Adam Chlipala	2012-02-04
\|
*	Extend and document RANDOM	Adam Chlipala	2012-02-04
\|
*	Mention convention for parens in selected expressions	Adam Chlipala	2012-02-03
\|
*	More documentation on URL generation and free variables	Adam Chlipala	2011-12-31
\|
*	Discuss a subtlety in the semantics of <dyn>	Adam Chlipala	2011-12-29
\|
*	Merge	Adam Chlipala	2011-12-28
\|\
* \|	More about the JavaScript FFI in the manual	Adam Chlipala	2011-12-28
\| \|
\| *	'dynClass' pseudo-attribute	Adam Chlipala	2011-12-27
\|/
*	Refactor HTML contexts to prevent some illegal nestings (that can crash the ↵	Adam Chlipala	2011-12-20
\| \| \| \|	JavaScript runtime system)
*	Redo HTML context classification, to keep regular <body> tags out of <table> ↵	Adam Chlipala	2011-12-20
\| \| \| \|	and <tr>
*	Manual typo fix	Adam Chlipala	2011-12-17
\|