debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	New release20180616	Adam Chlipala	2018-06-16
\|
*	Properly populate set of type classes when reusing a module from the ↵	Adam Chlipala	2018-06-06
\| \| \| \|	type-inference cache
*	Merge branch 'master' of ssh://github.com/urweb/urweb	Adam Chlipala	2018-06-04
\|\
* \|	Fix to recent addition of defensive unurlification	Adam Chlipala	2018-06-04
\| \|
\| *	Merge pull request #126 from majorseitan/master	Adam Chlipala	2018-06-04
\| \|\ \| \| \| \| \| \|	Improved support for JSON escape characters
\| * \|	Merge pull request #127 from ashalkhakov/cradio	Adam Chlipala	2018-06-04
\|/\| \| \| \| \| \| \| \|	Adding: cradio (support for client-side radio box).
* \| \|	Fail when requesting a file cache with a database engine that won't do SHA512	Adam Chlipala	2018-06-03
\| \| \|
* \| \|	'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process	Adam Chlipala	2018-06-03
\| \| \|
\| \| *	Merge branch 'master' into master	major seitan	2018-06-02
\| \| \|\ \| \|_\|/ \|/\| \|
\| * \|	Multi-group test	Artyom Shalkhakov	2018-05-30
\| \| \|
* \| \|	Remove insecure crypto function (closes #114)	Adam Chlipala	2018-05-29
\| \| \|
\| * \|	Formatting	Artyom Shalkhakov	2018-05-28
\| \| \|
\| * \|	Adding: cradio (support for client-side radio box).	Artyom Shalkhakov	2018-05-28
\|/ /
\| *	resolve merge conflict on test	majorseitan@blockfreie.org	2018-05-26
\| \|
\| *	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-05-26
\| \| \| \| \| \| \| \| \| \|	1. Handle the escape character \/
* \|	A test for List.groupBy	Adam Chlipala	2018-05-21
\| \|
* \|	Proper error message when the body of a 'val' declaration fails to check ↵	Adam Chlipala	2018-05-20
\| \| \| \| \| \| \| \|	against the type annotation
* \|	Merge pull request #123 from ashalkhakov/tests	Adam Chlipala	2018-05-19
\|\ \ \| \| \| \| \| \|	Adding Selenium-based checking to tests.
* \| \|	More defensive unurlification of enumerations (closes #117)	Adam Chlipala	2018-05-19
\| \| \|
\| * \|	More tests.	Artyom Shalkhakov	2018-05-15
\| \| \|
\| * \|	Adding jsbspace for #121.	Artyom Shalkhakov	2018-05-08
\| \| \|
\| * \|	Adding Selenium-based checking to tests.	Artyom Shalkhakov	2018-05-08
\|/ /
\| *	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-04-15
\| \| \| \| \| \| \| \| \| \|	1. Handle the escape character \\
* \|	Merge pull request #122 from majorseitan/master	Adam Chlipala	2018-04-15
\|\\| \| \| \| \|	Handling of JSON escape characters
\| *	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-04-14
\|/ \| \| \| \| \| \| \| \| \|	1. Handle escape sequence chars \t \n \r 2. Fail on unsupported escape characters. Instead of skipping \ on unsupported sequences it now fails.
*	List.findM	Adam Chlipala	2018-04-14
\|
*	List.existsM	Adam Chlipala	2018-04-14
\|
*	Demo links escape frames	Adam Chlipala	2018-03-30
\|
*	Handle empty SELECT clauses	Adam Chlipala	2018-03-13
\|
*	Merge pull request #119 from steinuil/sqlite-fix	Adam Chlipala	2018-03-11
\|\ \| \| \| \|	Automatically enable foreign keys and WAL in SQLite
\| *	automatically enable foreign keys and WAL for SQLite	steinuil	2018-02-26
\|/
*	Proper handling of absolute paths for files to serve	Adam Chlipala	2018-01-08
\|
*	README: explain need to run autogen.sh (closes #93)	Adam Chlipala	2018-01-06
\|
*	Merge pull request #109 from vshabanov/master	Adam Chlipala	2018-01-06
\|\ \| \| \| \|	Added oninput event and few more attributes
\| *	dynClass() now calculates and sets class and style attributes before adding ↵	Vladimir Shabanov	2017-12-13
\| \| \| \| \| \| \| \|	node to DOM.
\| *	Added oninput event to inputs which support it.	Vladimir Shabanov	2017-12-05
\|/ \| \| \|	Added onscroll event to <body> and title/sizes attributes to <link>.
*	README: mention that GNU Make is required	Adam Chlipala	2017-11-18
\|
*	Manual fix: [self] only callable on the server	Adam Chlipala	2017-11-11
\|
*	Small tweaks to new help text	Adam Chlipala	2017-10-01
\|
*	Merge pull request #90 from peterbb/master	Adam Chlipala	2017-10-01
\|\ \| \| \| \|	new flag -help, and refactoring of flag parsing.
* \|	New .urp directives: mimeTypes and long form of file	Adam Chlipala	2017-10-01
\| \|
* \|	README extension: installation and simple invocation	Adam Chlipala	2017-10-01
\| \|
\| *	new flag -help, and refactoring of flag parsing.	Peter Bock	2017-09-29
\|/
*	Merge branch 'master' of ssh://github.com/urweb/urweb	Adam Chlipala	2017-08-11
\|\
* \	Merge branch 'master' of ssh://hnf.impredicative.com:/home/adamc/git-root/urweb	Adam Chlipala	2017-08-11
\|\ \
* \| \|	Demo instructions: -noEmacs	Adam Chlipala	2017-08-11
\| \| \|
\| \| *	Merge pull request #84 from bbarenblat/master	Adam Chlipala	2017-08-08
\| \| \|\ \| \| \| \| \| \| \| \|	Clean up some warning flags
\| \| \| *	Remove redundant -Wimplicit	Benjamin Barenblat	2017-08-07
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	-Wall implies -Wimplicit.
\| \| \| *	Enable -Wunused-parameter	Benjamin Barenblat	2017-08-07
\| \| \|/
\| \| *	Fix last fix, to handle checkboxes properly	Adam Chlipala	2017-07-27
\| \| \|