debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Allow Basis.currentUrl on client side	Adam Chlipala	2019-03-30
\|
*	Don't escape slashes for JSON	Adam Chlipala	2019-03-27
\|
*	JavaScript string subscripting should raise out-of-bounds exceptions	Adam Chlipala	2019-03-10
\|
*	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
\|
*	Stop complaining when a nonexistent option is chosen for cselect	Adam Chlipala	2019-01-26
\|
*	Merge pull request #168 from fabriceleal/fix-codepoint-js	Adam Chlipala	2019-01-26
\|\ \| \| \| \|	utf8: More portable js, implement urlifyChar, fix urlifyString, fix unit tests
* \|	Option.mapM	Adam Chlipala	2019-01-24
\| \|
* \|	Basis.textOfBlob; try creating filecache directory if it doesn't exist	Adam Chlipala	2019-01-21
\| \|
\| *	fixes for review 1	fab	2019-01-21
\| \|
\| *	fix unit tests. implement urlifyChar	fab	2019-01-09
\| \|
\| *	more portable functions	fab	2019-01-02
\| \|
* \|	ListPair.mapM	Adam Chlipala	2018-12-31
\|/
*	saving space	fab	2018-12-27
\|
*	avoid a pow call if we can	fab	2018-12-25
\|
*	bitmaps working	fab	2018-12-25
\|
*	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
\| *	migrate is_valid_hash, blessData, property, atom	fab	2018-12-11
\| \|
\| *	fix isxdigit: is probably helpful to keep it only to ascii chars. migrate ↵	fab	2018-12-09
\| \| \| \| \| \| \| \|	islower, isupper, isalpha, isdigit, isblank, isspace, isxdigit, isprint
\| *	just to make sure there are no issues	fab	2018-12-08
\| \|
\| *	patch isDigit	fab	2018-12-08
\| \|
\| *	patching toLower and toUpper to provide consistent results in server side ↵	fab	2018-12-08
\| \| \| \| \| \| \| \|	and client side
\| *	strsub, strcspn, strsindex	fab	2018-12-06
\| \|
\| *	ord	fab	2018-12-06
\| \|
\| *	strsindex	fab	2018-12-06
\| \|
\| *	chars with more than 2 bytes are awkwardly handled by the "normal" string of ↵	fab	2018-12-06
\| \| \| \| \| \| \| \|	javascript. the best way to get consistent results seems to be to convert to array by Array.from(...) and back to strings with .join("")
\| *	reject invalid codepoints. Basis.iscodepoint. fix german char in js	fab	2018-11-30
\| \|
\| *	several fixes on unit tests and implementation	fab	2018-11-19
\| \|
* \|	List.mapMi	Adam Chlipala	2018-11-04
\|/
*	Automatic merging of style/dynStyle and class/dynClass (closes #64)	Adam Chlipala	2018-10-19
\|
*	Client-side escaping of HTML should be prepared for structured HTML trees, ↵	Adam Chlipala	2018-10-19
\| \| \| \|	not just strings (closes #141)
*	unsafeSerialized[To\|From]String	Adam Chlipala	2018-10-19
\|
*	Catch when a cselect has an unavailable value set	Adam Chlipala	2018-10-12
\|
*	List.allM	Adam Chlipala	2018-08-25
\|
*	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
\|