debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	List.foldli	Adam Chlipala	2020-02-07
\|
*	Merge pull request #136 from dredozubov/anchor-links	Adam Chlipala	2020-01-15
\|\ \| \| \| \|	Same page link anchors
* \|	More lenient RFC 3339 parsing	Adam Chlipala	2019-12-23
\| \|
* \|	Fix toJson for records with optional fields	Adam Chlipala	2019-12-19
\| \|
* \|	SQL SIMILAR (via pg_trgm)	Adam Chlipala	2019-12-04
\| \|
* \|	Json: expose RFC 3339 functions	Adam Chlipala	2019-11-08
\| \|
* \|	JSON instance for times, based on RFC 3339 (because Google APIs use it)	Adam Chlipala	2019-10-11
\| \|
* \|	JSON records with optional fields	Adam Chlipala	2019-10-11
\| \|
* \|	Optimize JSON unescaping for server-side execution	Adam Chlipala	2019-10-05
\| \|
* \|	Add Step attribute to crange; fix tests for cnumber and crange	Mark Clements	2019-10-04
\| \|
* \|	Unicode escapes in JSON	Adam Chlipala	2019-09-25
\| \|
* \|	Datetime.ord_month	Adam Chlipala	2019-08-10
\| \|
* \|	Remove a misleading comment (#175)	Adam Chlipala	2019-07-26
\| \|
* \|	Don't escape slashes for JSON	Adam Chlipala	2019-03-27
\| \|
* \|	List.mapConcat and mapConcatM	Adam Chlipala	2019-02-12
\| \|
* \|	List.searchM and ListPair.unzip	Adam Chlipala	2019-02-10
\| \|
* \|	Top: foldR4 and mapX4	Adam Chlipala	2019-02-09
\| \|
* \|	Option.mapM	Adam Chlipala	2019-01-24
\| \|
* \|	Basis.textOfBlob; try creating filecache directory if it doesn't exist	Adam Chlipala	2019-01-21
\| \|
* \|	ListPair.mapM	Adam Chlipala	2018-12-31
\| \|
* \|	Merge pull request #146 from fabriceleal/utf-icu	Adam Chlipala	2018-12-19
\|\ \ \| \| \| \| \| \|	utf-8 aware functions for basis. unit-testing.
* \| \|	List.assocAddSorted	Adam Chlipala	2018-12-14
\| \| \|
\| * \|	exhaustive testing brought to selenium. bug fix in isspace. useful function ↵	fab	2018-12-11
\| \| \| \| \| \| \| \| \| \| \| \|	to test if char is <128
\| * \|	reject invalid codepoints. Basis.iscodepoint. fix german char in js	fab	2018-11-30
\| \| \|
* \| \|	List.mapMi	Adam Chlipala	2018-11-04
\|/ /
* \|	unsafeSerialized[To\|From]String	Adam Chlipala	2018-10-19
\| \|
* \|	List.allM	Adam Chlipala	2018-08-25
\| \|
\| *	Rough same page anchors	Denis Redozubov	2018-08-22
\|/
*	Merge pull request #134 from steinuil/json-single-quote	Adam Chlipala	2018-08-17
\|\ \| \| \| \|	removed invalid JSON escape character
\| *	removed invalid JSON escape character	steinuil	2018-08-04
\| \|
* \|	offsetX, offsetY	Fabrice Leal	2018-07-09
\|/
*	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).
\| \| *	Merge branch 'master' into master	major seitan	2018-06-02
\| \| \|\ \| \|_\|/ \|/\| \|
* \| \|	Remove insecure crypto function (closes #114)	Adam Chlipala	2018-05-29
\| \| \|
\| * \|	Adding: cradio (support for client-side radio box).	Artyom Shalkhakov	2018-05-28
\|/ /
\| *	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-05-26
\| \| \| \| \| \| \| \| \| \|	1. Handle the escape character \/
\| *	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-04-15
\|/ \| \| \| \|	1. Handle the escape character \\
*	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
\|
*	Added oninput event to inputs which support it.	Vladimir Shabanov	2017-12-05
\| \| \| \|	Added onscroll event to <body> and title/sizes attributes to <link>.
*	Button: disabled attribute; allowing number entry using HTML5 widgets	Artyom Shalkhakov	2017-02-21
\|
*	Option.app	Adam Chlipala	2017-02-01
\|
*	List.appi	Adam Chlipala	2017-01-25
\|
*	Add 'placeholder' attribute for textareas	Adam Chlipala	2017-01-02
\|
*	Use 'id' attribute for <form>	Adam Chlipala	2016-12-31
\|
*	Add mapUX_rev	Adam Chlipala	2016-09-24
\|
*	Remove 'Value' attributes for AJAX-y UI widgets, because they should use ↵	Adam Chlipala	2016-09-01
\| \| \| \|	'Source' instead
*	Json: parse records with extra fields	Adam Chlipala	2016-08-27
\|